- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 2002
- Identifier
-
96638976X
Thema
Kellerautomat ; Programmverifikation ; Temporale Logik ; Model Checking ; Kellerautomat / Verifikation / Model checking / Rekursive Funktion; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (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