- Sprache
-
Englisch
- Umfang
-
XII, 169 S.
- ISBN
-
978-3-540-77425-9
- Identifier
-
986682047
- Reihe
-
Monographs in theoretical computer science
Thema
Verifikation ; Model Checking ; Temporale Logik ; Nebenläufigkeit ; Zustandsraumexplosion ; Transitionssystem
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:36 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Verifying temporal properties of systems
Model checking pushdown systems
Symbolische LTL-Verifikation von Petrinetzen
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Tools and algorithms for the construction and analysis of systems : 16th International Conference ; proceedings
Abstract state machines : theory and applications ; international workshop ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Systems and software verification : model checking techniques and tools
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Verifying temporal properties of systems
Model checking pushdown systems
Symbolische LTL-Verifikation von Petrinetzen
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Tools and algorithms for the construction and analysis of systems : 16th International Conference ; proceedings
Abstract state machines : theory and applications ; international workshop ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Systems and software verification : model checking techniques and tools
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Verifying temporal properties of systems
Model checking pushdown systems
Symbolische LTL-Verifikation von Petrinetzen
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Tools and algorithms for the construction and analysis of systems : 16th International Conference ; proceedings
Abstract state machines : theory and applications ; international workshop ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Systems and software verification : model checking techniques and tools