Course code, if applicable: AERE/COMS 407/507
University hosting the course: Iowa State University (Ames, IA, USA)
Contact person: Kristin Yvonne Rozier (kyrozier@iastate.edu)
Concepts taught: Logic Specifications, Temporal Logics (LTL, CTL), Explicit Model Checking, Symbolic Model Checking, Theorem Proving, Survey of state-of-the-art including the capabilities and limitations of applying formal methods for systems analysis, focusing on the aerospace domain
Tools used: Spin, SPOT, nuXmv, PVS
Webpage: http://temporallogic.org/courses/AppliedFormalMethods/
Course code, if applicable: AERE/COMS 407/507 University hosting the course: Iowa State University (Ames, IA, USA) Contact person: Kristin Yvonne Rozier (kyrozier@iastate.edu) Concepts taught: Logic Specifications, Temporal Logics (LTL, CTL), Explicit Model Checking, Symbolic Model Checking, Theorem Proving, Survey of state-of-the-art including the capabilities and limitations of applying formal methods for systems analysis, focusing on the aerospace domain Tools used: Spin, SPOT, nuXmv, PVS Webpage: http://temporallogic.org/courses/AppliedFormalMethods/