- Sprache
-
Englisch
- Anmerkungen
-
Passau, Univ., Diss., 2008
- Identifier
-
991022327
Thema
Verifikation ; Model Checking ; Temporale Logik ; Terminologische Logik ; Schlussfolgern ; Formale Ontologie ; Konsistenz ; Widerspruchsfreiheit ; Textkohärenz; Hochschulschrift
Beteiligte Personen und Organisationen
Weitl, Franz
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Weitl, Franz
Ähnliche Objekte (12)
Extended caching, backjumping and merging for expressive description logics
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
System verification tools based on monadic logics
Nominal schema absorption
Model checking pushdown systems
Explicit state space verification
Verification of reactive systems : formal methods and algorithms
Nominal schema absorption : technical report
On the complexity of modal logic variants and their fragments
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Extended caching, backjumping and merging for expressive description logics
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
System verification tools based on monadic logics
Nominal schema absorption
Model checking pushdown systems
Explicit state space verification
Verification of reactive systems : formal methods and algorithms
Nominal schema absorption : technical report
On the complexity of modal logic variants and their fragments
Relational exploration : combining description logics and formal concept analysis for knowledge specification
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Extended caching, backjumping and merging for expressive description logics
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
System verification tools based on monadic logics
Nominal schema absorption
Model checking pushdown systems
Explicit state space verification
Verification of reactive systems : formal methods and algorithms
Nominal schema absorption : technical report
On the complexity of modal logic variants and their fragments
Relational exploration : combining description logics and formal concept analysis for knowledge specification