- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2008-19
- Klassifikation
-
Informatik
- Schlagwort
-
Verifikation
Temporale Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2008
- Beteiligte Personen und Organisationen
-
Bäumler, Simon
Balser, Michael
Reif, Wolfgang
Schellhorn, Gerhard
- URN
-
urn:nbn:de:bvb:384-opus4-10421
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
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.
Beteiligte
- Bäumler, Simon
- Balser, Michael
- Reif, Wolfgang
- Schellhorn, Gerhard
- Universität Augsburg
Entstanden
- 2008
Ähnliche Objekte (12)
Verifying a Stack with Hazard Pointers in Temporal Logic
Verifying Linearizability and Lock-Freedom with Temporal Logic
Embedding Rely-Guarantee Reasoning in Temporal Logic
Proving Theorems of Higher-Order Logic with SMT Solvers
Proving theorems of higher-order logic with SMT solvers
Proving linearizability of multiset with local proof obligations
Safe Reasoning with Logic LTS
First order logic and automated theorem proving
First order logic and automated theorem proving
mj-Reduction for Proving in Predicate Logic
Temporal Logic
Embedding CTL* in an Extension to Interval Temporal Logic (ITL)
Verifying a Stack with Hazard Pointers in Temporal Logic
Verifying Linearizability and Lock-Freedom with Temporal Logic
Embedding Rely-Guarantee Reasoning in Temporal Logic
Proving Theorems of Higher-Order Logic with SMT Solvers
Proving theorems of higher-order logic with SMT solvers
Proving linearizability of multiset with local proof obligations
Safe Reasoning with Logic LTS
First order logic and automated theorem proving
First order logic and automated theorem proving
mj-Reduction for Proving in Predicate Logic
Temporal Logic
Embedding CTL* in an Extension to Interval Temporal Logic (ITL)
Verifying a Stack with Hazard Pointers in Temporal Logic
Verifying Linearizability and Lock-Freedom with Temporal Logic
Embedding Rely-Guarantee Reasoning in Temporal Logic
Proving Theorems of Higher-Order Logic with SMT Solvers
Proving theorems of higher-order logic with SMT solvers
Proving linearizability of multiset with local proof obligations
Safe Reasoning with Logic LTS
First order logic and automated theorem proving
First order logic and automated theorem proving
mj-Reduction for Proving in Predicate Logic
Temporal Logic