Hochschulschrift
Automatic verification of sequential infinite state processes
- Sprache
-
Englisch
- Umfang
-
X, 163 S.
- Maße
-
24 cm
- Anmerkungen
-
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 1995
- ISBN
-
9783540639824
3540639829
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Erschienen in
-
Lecture notes in computer science ; Vol. 1354
- Schlagwort
-
Kellerautomat
Kontextfreie Grammatik
Prozessalgebra
Verifikation
Model Checking
Modallogik
- Urheber
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
1997
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:39 MEZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Burkart, Olaf
- Springer
Entstanden
- 1997
Ähnliche Objekte (12)
Automatic Synthesis and Verification of Industrial Commissioning Processes
Automatic presentations of infinite structures
Automatic signature verification using segmentation
Verification of sequential and concurrent programs
Interval Analysis and Automatic Result Verification
Modeling and Verification of Infinite Systems with Resources
Sequential Equilibria and Cheap Talk in Infinite Signaling Games. Part 1: Sequential Equilibria
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
High-level methods for OBDD-based sequential verification
Verification of sequential imperative programs in Isabelle-HOL
Automatic Synthesis and Verification of Industrial Commissioning Processes
Automatic presentations of infinite structures
Automatic signature verification using segmentation
Verification of sequential and concurrent programs
Interval Analysis and Automatic Result Verification
Modeling and Verification of Infinite Systems with Resources
Sequential Equilibria and Cheap Talk in Infinite Signaling Games. Part 1: Sequential Equilibria
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
High-level methods for OBDD-based sequential verification
Verification of sequential imperative programs in Isabelle-HOL
Automatic Synthesis and Verification of Industrial Commissioning Processes
Automatic presentations of infinite structures
Automatic signature verification using segmentation
Verification of sequential and concurrent programs
Interval Analysis and Automatic Result Verification
Modeling and Verification of Infinite Systems with Resources
Sequential Equilibria and Cheap Talk in Infinite Signaling Games. Part 1: Sequential Equilibria
Automatic Verification of Application-Tailored OSEK Kernels
Automatic generation of specifications using verification tools
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
High-level methods for OBDD-based sequential verification