Slide 1CS 290C: Formal Models for Web Software Lecture 3: Verification of Navigation Models with the Spin Model Checker Instructor: Tevfik Bultan Slide 2 Verifying navigation…
Slide 1 mssm.nl Work in Progress Report - Subject Centric IT in Local Government Gabriel Hopmans, Peter-Paul Kruijsen Morpheus Software TMRA 2005 Slide 2 2 mssm.nl Introduction…