Overview
Specifying Timed Systems and Their Properties.- Petri Nets with Time.- Timed Automata.- From Time Petri Nets to Timed Automata.- Main Formalisms for Expressing Temporal Properties.- Model Generation and Verification.- Abstract Models.- Explicit Verification.- Verification Based on Satisfiability Checking.
- | Author: Wojciech Penczek
- | Publisher: Springer
- | Publication Date: Nov 25, 2010
- | Number of Pages: 257 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3642069428
- | ISBN-13: 9783642069420
