Open jff opened 5 years ago
Issue by kyrozier Saturday Jun 08, 2019 at 19:19 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/52
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 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 Tools used: Spin, SPOT, nuXmv, PVS Webpage: http://temporallogic.org/courses/AppliedFormalMethods/