Modeling and Verification of Real-time Systems

Formalisms and Software Tools

Nonfiction, Science & Nature, Science, Other Sciences, System Theory
Cover of the book Modeling and Verification of Real-time Systems by , Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781118623954
Publisher: Wiley Publication: March 7, 2013
Imprint: Wiley-ISTE Language: English
Author:
ISBN: 9781118623954
Publisher: Wiley
Publication: March 7, 2013
Imprint: Wiley-ISTE
Language: English

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.

More books from Wiley

Cover of the book The Dynamics of Conflict by
Cover of the book Math Puzzles and Brainteasers, Grades 6-8 by
Cover of the book Big Data Revolution by
Cover of the book Biomass Energy with Carbon Capture and Storage (BECCS) by
Cover of the book Testing ASP.NET Web Applications by
Cover of the book An Introduction to LTE by
Cover of the book Essential Algorithms by
Cover of the book From Genes to Genomes by
Cover of the book A Companion to Sparta by
Cover of the book Review Questions for MRI by
Cover of the book Pancreatic Cancer, Cystic Neoplasms and Endocrine Tumors by
Cover of the book Atlas of Small Animal Ultrasonography by
Cover of the book Fundamentals of the Petrophysics of Oil and Gas Reservoirs by
Cover of the book The Global Automotive Industry by
Cover of the book Vertical Alveolar Ridge Augmentation in Implant Dentistry by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy