Reactive Systems: Modelling, Specification and Verification

By Luca Aceto, Jiri Srba, Kim Guldstrand Larsen, et al.

Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated... This description may be from another edition of this product.

• Format: Electronics
• Language: English
• ISBN: 0511814100
• ISBN13: 9780511814105
• Release Date: January 1
• Publisher: Cambridge University Press