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

 

Systems Verification - CO303

Aims

 The course is an introduction to the area of formal methods for system specification and verification. Particular prominence is given to logic-based formalisms and techniques, notably model checking. Symbolic model checking via ordered-binary decision diagrams is covered in some detail and so are alternative techniques including bounded model checking and abstraction.

Role

Course Leader