- Language
-
Englisch
- Notes
-
München, Techn. Univ., Diss., 2002
- Identifier
-
96638976X
Subject
Kellerautomat ; Programmverifikation ; Temporale Logik ; Model Checking ; Kellerautomat / Verifikation / Model checking / Rekursive Funktion; Hochschulschrift; Online-Publikation
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:57 PM CET
Object type
- Monografie
Other Objects (12)
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Systems and software verification : model checking techniques and tools
Model checking abstract state machines
Model checking combined Z and statechart specifications
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Model-based quality assurance of intrumented context-free systems
Model-checking problems, machines and parameterized complexity
Developing concepts and methods for module and integration tests for models of reactive systems
Model composition in model-checking
Unfoldings : a partial order approach to model checking
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Systems and software verification : model checking techniques and tools
Model checking abstract state machines
Model checking combined Z and statechart specifications
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Model-based quality assurance of intrumented context-free systems
Model-checking problems, machines and parameterized complexity
Developing concepts and methods for module and integration tests for models of reactive systems
Model composition in model-checking
Unfoldings : a partial order approach to model checking
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Systems and software verification : model checking techniques and tools
Model checking abstract state machines
Model checking combined Z and statechart specifications
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Model-based quality assurance of intrumented context-free systems
Model-checking problems, machines and parameterized complexity
Developing concepts and methods for module and integration tests for models of reactive systems
Model composition in model-checking
Unfoldings : a partial order approach to model checking