Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

504Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Čermák:2014:10.1007/978-3-319-08867-9_34,
author = {ermák, P and Lomuscio, A and Mogavero, F and Murano, A},
doi = {10.1007/978-3-319-08867-9_34},
journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
pages = {525--532},
title = {MCMAS-SLK: A model checker for the verification of strategy logic specifications},
url = {http://dx.doi.org/10.1007/978-3-319-08867-9_34},
volume = {8559 LNCS},
year = {2014}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - Model checking has come of age. A number of techniques are increasingly used in industrial setting to verify hardware and software systems, both against models and concrete implementations. While it is generally accepted that obstacles still remain, notably handling infinite state systems efficiently, much of current work involves refining and improving existing techniques such as predicate abstraction. © 2014 Springer International Publishing.
AU - ermák,P
AU - Lomuscio,A
AU - Mogavero,F
AU - Murano,A
DO - 10.1007/978-3-319-08867-9_34
EP - 532
PY - 2014///
SN - 0302-9743
SP - 525
TI - MCMAS-SLK: A model checker for the verification of strategy logic specifications
T2 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
UR - http://dx.doi.org/10.1007/978-3-319-08867-9_34
UR - http://hdl.handle.net/10044/1/26868
VL - 8559 LNCS
ER -