T-79.157 Formal Description and Verification of Computing Systems (2 cr)
This course is about formal modelling of distributed and parallel systems. The most important use of the formal model is verification of system properties. This spring focus will be on "unifying Petri Nets" based on a new book with the same title. Other material may also be used, depending on the specific interests of the students.
Note: the course T-79.157 can be replaced by taking the course T-79.5305 Formal Methods.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 01 August 2005.