Monografie
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
- Sprache
-
Englisch
- Anmerkungen
-
Erlangen, Nürnberg, Univ., Diss., 2006
- Identifier
-
97894139X
Thema
Binäres Entscheidungsdiagramm ; Model checking ; Temporale Logik ; Prozessalgebra ; Datenverarbeitungssystem / Leistungsbewertung ; Formale Semantik; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Document verification with temporal description logics
Symbolische LTL-Verifikation von Petrinetzen
Developing concepts and methods for module and integration tests for models of reactive systems
Verifikation unvollständiger Schaltkreise
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Model composition in model-checking
Synthesizing realistic verification tasks
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
Model checking pushdown systems
Resolution-based methods for linear temporal reasoning
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Document verification with temporal description logics
Symbolische LTL-Verifikation von Petrinetzen
Developing concepts and methods for module and integration tests for models of reactive systems
Verifikation unvollständiger Schaltkreise
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Model composition in model-checking
Synthesizing realistic verification tasks
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
Model checking pushdown systems
Resolution-based methods for linear temporal reasoning
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Document verification with temporal description logics
Symbolische LTL-Verifikation von Petrinetzen
Developing concepts and methods for module and integration tests for models of reactive systems
Verifikation unvollständiger Schaltkreise
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Model composition in model-checking
Synthesizing realistic verification tasks
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
Model checking pushdown systems