Documents Chair of Software Engineering Software Verification Lecture 11: Model Checking Carlo A. Furia.

PowerPoint Presentation Chair of Software Engineering Software Verification Lecture 11: Model Checking Carlo A. Furia 1 2 Program Verification: the very idea max (a, b: INTEGER):…

Documents The SPIN Model Checker

The SPIN Model Checker Frederico Araujo CS6362 – Fall 2010 The SPIN Model Checker Outline 2 What is model checking? Why model checking? SPIN Basic Concepts Promela Promela…