- Language
-
Englisch
- Notes
-
Passau, Univ., Diss., 2008
- Identifier
-
991022327
Subject
Verifikation ; Model Checking ; Temporale Logik ; Terminologische Logik ; Schlussfolgern ; Formale Ontologie ; Konsistenz ; Widerspruchsfreiheit ; Textkohärenz; Hochschulschrift
Contributor
Weitl, Franz
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:57 PM CET
Object type
- Monografie
Associated
- Weitl, Franz
Other Objects (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