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{Cermak:2014:10.1007/978-3-319-08867-9_34,
author = {Cermak, 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},
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},
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 - Cermak,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
UR - http://dx.doi.org/10.1007/978-3-319-08867-9_34
UR - http://hdl.handle.net/10044/1/26868
VL - 8559
ER -