Monografie
Systems and software verification : model checking techniques and tools
- Sprache
-
Englisch
- Umfang
-
XII, 190 S.
- ISBN
-
978-3-540-41523-7
- Identifier
-
96125307X
Thema
Reaktives System ; Programmverifikation ; Temporale Logik ; Model Checking
Beteiligte Personen und Organisationen
Bérard, Béatrice
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:35 MESZ
Objekttyp
- Monografie
Beteiligte
- Bérard, Béatrice
Ähnliche Objekte (12)
Model checking pushdown systems
Verification of reactive systems : formal methods and algorithms
Developing concepts and methods for module and integration tests for models of reactive systems
On the complexity of modal logic variants and their fragments
Synthesizing realistic verification tasks
SPIN model checking and software verification ; proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking pushdown systems
Verification of reactive systems : formal methods and algorithms
Developing concepts and methods for module and integration tests for models of reactive systems
On the complexity of modal logic variants and their fragments
Synthesizing realistic verification tasks
SPIN model checking and software verification ; proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking pushdown systems
Verification of reactive systems : formal methods and algorithms
Developing concepts and methods for module and integration tests for models of reactive systems
On the complexity of modal logic variants and their fragments
Synthesizing realistic verification tasks
SPIN model checking and software verification ; proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings
Model checking software : proceedings