Share
compositional verification of concurrent and real-time systems
Tsai,Juan (Author)
·
springer publishing map
· Physical Book
compositional verification of concurrent and real-time systems - tsai,juan
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Wednesday, August 14 and
Wednesday, August 21.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "compositional verification of concurrent and real-time systems"
with the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects. it is essential, therefore, that software used for safety-critical systems preserves high assurance properties. compositional verification of concurrent and real-time systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software systems. the book focuses on the efficient analysis of large-scale systems based on the concept of compositional verification of modules. compositional verification of concurrent and real-time systems is an excellent resource for student and researchers who seek a comprehensive understanding of how formal methods can be applied to the problems of intellectual or industrial significance. the application areas include concurrent systems, distributed systems, embedded systems, and real-time systems. the analysis models used are multiset labeled transition systems and time petri nets.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
✓ Producto agregado correctamente al carro, Ir a Pagar.