- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Freiburg (Breisgau), Univ., Diss., 2001
- Schlagwort
-
Model Checking
Baum
Logik
Stufe 1
Berechnungskomplexität
Model Checking
Baum
Logik
Stufe 2
Berechnungskomplexität
- Urheber
- URN
-
urn:nbn:de:bsz:25-opus-2295
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:37 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Easy instances for model checking
Model checking pushdown systems
Model checking abstract state machines
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Model-checking problems, machines and parameterized complexity
Model checking combined Z and statechart specifications
Monotonicity checking
Worst case instances are fragile : average case and smoothed competitive analysis of algorithms
Output space compaction for testing and concurrent checking
Formal sequential equivalence checking of digital systems by symbolic simulation
Instances judiciaires
Symbolic Causality Checking Using Bounded Model Checking
Easy instances for model checking
Model checking pushdown systems
Model checking abstract state machines
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Model-checking problems, machines and parameterized complexity
Model checking combined Z and statechart specifications
Monotonicity checking
Worst case instances are fragile : average case and smoothed competitive analysis of algorithms
Output space compaction for testing and concurrent checking
Formal sequential equivalence checking of digital systems by symbolic simulation
Instances judiciaires
Symbolic Causality Checking Using Bounded Model Checking
Easy instances for model checking
Model checking pushdown systems
Model checking abstract state machines
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Model-checking problems, machines and parameterized complexity
Model checking combined Z and statechart specifications
Monotonicity checking
Worst case instances are fragile : average case and smoothed competitive analysis of algorithms
Output space compaction for testing and concurrent checking
Formal sequential equivalence checking of digital systems by symbolic simulation
Instances judiciaires