- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540415237
3540415238
- Maße
-
24 cm
- Umfang
-
XII, 190 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Schlagwort
-
Reaktives System
Programmverifikation
Temporale Logik
Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
2001
- Beteiligte Personen und Organisationen
-
Bérard, Béatrice
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bérard, Béatrice
- Springer
Entstanden
- 2001
Ähnliche Objekte (12)
SPIN model checking and software verification ; proceedings
Mixed signal circuit verification using symbolic model checking techniques
Abstraction refinement techniques for software model checking
Model checking techniques for design and analysis of future hardware and software systems
Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
Verification of software for Contiki-based low-power embedded systems using software model checking
Witness-based validation of verification results with applications to software-model checking
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Using model checking for system verification
Formal Verification of Algorithms for Automata and Model Checking
Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung
Model checking software : proceedings
SPIN model checking and software verification ; proceedings
Mixed signal circuit verification using symbolic model checking techniques
Abstraction refinement techniques for software model checking
Model checking techniques for design and analysis of future hardware and software systems
Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
Verification of software for Contiki-based low-power embedded systems using software model checking
Witness-based validation of verification results with applications to software-model checking
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Using model checking for system verification
Formal Verification of Algorithms for Automata and Model Checking
Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung
Model checking software : proceedings
SPIN model checking and software verification ; proceedings
Mixed signal circuit verification using symbolic model checking techniques
Abstraction refinement techniques for software model checking
Model checking techniques for design and analysis of future hardware and software systems
Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
Verification of software for Contiki-based low-power embedded systems using software model checking
Witness-based validation of verification results with applications to software-model checking
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Using model checking for system verification
Formal Verification of Algorithms for Automata and Model Checking
Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung