Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Formal methods guide for verification of reactive systems; explains algorithms and theoretical foundations. Provides rigorous approach for correctness and safety. customer insight: neutral tones on content depth
Highlights
- formal methods emphasis
- reactive systems verification
- theoretical algorithms focus
Pros
- rigorous treatment of formal methods
- clear focus on verification of reactive systems
- theoretical foundation for algorithms
- suitable for advanced study
- structured as part of TCS series
Cons
- n/a
