Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Modeling and Verification of Real-time Systems: Formalisms and Software Tools is backordered and will ship as soon as it is back in stock.
Couldn't load pickup availability
Genuine Products Guarantee
Genuine Products Guarantee
We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.
Delivery and Shipping
Delivery and Shipping
Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.
Modeling and Verification of Real-time Systems: Formalisms and Soft...
Book Details:
-
Publisher: Wiley
-
Author: N. Navet
-
Language: English
-
Edition: 1st Edition
-
ISBN: 9781848210134
-
Pages: 448
-
Binding: Hardcover
-
Release Date: 04-03-2008
-
Package Dimensions: 9.2 x 6.2 x 1.1 inches
About The Book:
Formal Verification of Real-Time Systems by N. Navet is a comprehensive exploration of the key concepts and techniques used to describe and analyze the behavior of real-time systems. This book provides designers with the necessary tools and knowledge to ensure temporal correctness in their systems.
The topics covered include mathematical models for real-time systems, formal verification techniques such as model checking and probabilistic modeling, and validation approaches based on testing. The book offers a deep dive into programming and description languages tailored for real-time systems, providing a thorough understanding of how these systems function and how their behavior can be rigorously validated.
Written by experts in their respective fields, this title serves as an up-to-date reference on formal verification for real-time systems. It also includes an overview of available software tools for verification. Perfect for professionals and students in the field of real-time systems, this book offers both theoretical insights and practical guidance on ensuring that complex systems operate within the required time constraints.
