Monografie
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
- Sprache
-
Deutsch
- Anmerkungen
-
Braunschweig, Techn. Univ., Diss., 2002
- Identifier
-
964334151
Thema
Komponente ; Verifikation ; Nebenläufigkeit ; Zustandsraum ; Model Checking ; 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:58 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (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
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
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische LTL-Verifikation von Petrinetzen
Unfoldings : a partial order approach to model checking
Explicit state space verification
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
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
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische LTL-Verifikation von Petrinetzen
Unfoldings : a partial order approach to model checking
Explicit state space verification
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
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
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische LTL-Verifikation von Petrinetzen
Unfoldings : a partial order approach to model checking
Explicit state space verification
Model-checking problems, machines and parameterized complexity
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme