next up previous contents
Next: Symbolic Model Checking Up: Introduction Previous: Automaton with Properties   Contents

Model Checking


Gerd Doeben-Henisch 2010-03-03