Modeling and verification of real-time systems : formalisms and software tools

Modeling and verification of real-time systems formalisms and software tools

Time Petri nets -- analysis methods and verification with TINA / Bernard Berthomieu, Florent Peres and François Vernadat -- Validation of reactive systems by means of verification and conformance testing / Camille Constant ... [et al.] -- An introduction to model checking / Stephan Merz -- Model che...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Merz, Stephan (HerausgeberIn), Navet, Nicolas (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London ISTE 2008
Hoboken, NJ Wiley 2008
Schlagworte:
Real-time data processing > Computer software > Verification > Formal methods (Computer science) > Echtzeitsystem > Semantische Modellierung > Programmverifikation
Online Zugang:Inhaltsverzeichnis
Autorenbiografie
Verlagsangaben
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Time Petri nets -- analysis methods and verification with TINA / Bernard Berthomieu, Florent Peres and François Vernadat -- Validation of reactive systems by means of verification and conformance testing / Camille Constant ... [et al.] -- An introduction to model checking / Stephan Merz -- Model checking timed automata / Patricia Bouyer, François Laroussinie -- Specification and analysis of asynchronous systems using CADP / Radu Mateescu -- Synchronous program verification with Lustre/Lesar / Pascal Raymond -- Synchronous functional programming with Lucid Synchrone / Paul Caspi, Grégoire Hamon, Marc Pouzet -- Verification of real-time probabilistic systems / Marta Kwiatkowska ... [et al.] -- Verification of probabilistic systems methods and tools / Serge Haddad and Patrice Moreaux -- Modeling and verification of real-time systems using the IF toolset / Marius Bozga ... [et al.] -- Architecture description languages: an introduction to the SAE AADL / Anne-Marie Déplanche, Sébastien Faucou.
Beschreibung:393 S.
graph. Darst.
ISBN:9781848210134
978-1-84821-013-4