Monografie
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
- Language
-
Deutsch
- Notes
-
Braunschweig, Techn. Univ., Diss., 2002
- Identifier
-
964334151
Subject
Komponente ; Verifikation ; Nebenläufigkeit ; Zustandsraum ; Model Checking ; Hochschulschrift; Online-Publikation
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:58 PM CET
Object type
- Monografie
Associated
Other Objects (12)
Model checking pushdown systems
Model checking abstract state machines
Model checking combined Z and statechart specifications
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
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
Symbolische LTL-Verifikation von Petrinetzen
Explicit state space verification
Unfoldings : a partial order approach to model checking
Model-checking problems, machines and parameterized complexity
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
Incomplete property checking for asynchronous reactive systems
Model checking pushdown systems
Model checking abstract state machines
Model checking combined Z and statechart specifications
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
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
Symbolische LTL-Verifikation von Petrinetzen
Explicit state space verification
Unfoldings : a partial order approach to model checking
Model-checking problems, machines and parameterized complexity
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
Incomplete property checking for asynchronous reactive systems
Model checking pushdown systems
Model checking abstract state machines
Model checking combined Z and statechart specifications
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
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
Symbolische LTL-Verifikation von Petrinetzen
Explicit state space verification
Unfoldings : a partial order approach to model checking
Model-checking problems, machines and parameterized complexity
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme