Course code, if applicable: COS6020-B
University hosting the course: University of Bradford
Contact person: ???
Concepts taught: Classical logic, formal specification, model checking, reactive systems, program verification
Tools used:
Webpage: https://www.bradford.ac.uk/repos/modules/2020-21/cos6020-b.php
Course code, if applicable: COS6020-B University hosting the course: University of Bradford Contact person: ??? Concepts taught: Classical logic, formal specification, model checking, reactive systems, program verification Tools used: Webpage: https://www.bradford.ac.uk/repos/modules/2020-21/cos6020-b.php