- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Umfang
-
XVI, 125 S.
- Anmerkungen
-
Zugl.: Hannover, Univ., Diss., 2011
- ISBN
-
978-3-86955-929-2
- Identifier
-
1021114456
Thema
Modallogik ; Temporale Logik ; Terminologische Logik ; Erfüllbarkeitsproblem ; Model Checking ; Programmverifikation ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:54 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Systems and software verification : model checking techniques and tools
Model checking pushdown systems
Document verification with temporal description logics
Synthesizing realistic verification tasks
Satisfiability and model checking in team based logics
Resolution-based decision procedures for subclasses of first-order logic
Modelling and verifying abilities of rational agents
Verifikation unvollständiger Schaltkreise
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Unfoldings : a partial order approach to model checking
Developing concepts and methods for module and integration tests for models of reactive systems
Systems and software verification : model checking techniques and tools
Model checking pushdown systems
Document verification with temporal description logics
Synthesizing realistic verification tasks
Satisfiability and model checking in team based logics
Resolution-based decision procedures for subclasses of first-order logic
Modelling and verifying abilities of rational agents
Verifikation unvollständiger Schaltkreise
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Unfoldings : a partial order approach to model checking
Developing concepts and methods for module and integration tests for models of reactive systems
Systems and software verification : model checking techniques and tools
Model checking pushdown systems
Document verification with temporal description logics
Synthesizing realistic verification tasks
Satisfiability and model checking in team based logics
Resolution-based decision procedures for subclasses of first-order logic
Modelling and verifying abilities of rational agents
Verifikation unvollständiger Schaltkreise
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Unfoldings : a partial order approach to model checking