Monografie
Theorems from compiler verification: a problem set for automated theorem provers
- Sprache
-
Englisch
- Identifier
-
1036454703
- Reihe
-
Ulmer Informatik-Berichte
Thema
Informatik; Automatisches Beweisverfahren
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Schellhorn, Gerhard
- Reif, Wolfgang
Ähnliche Objekte (12)
Interactive Verification of Concurrent Systems using Symbolic Execution
Failure-Sensitive Specification: A formal method for finding failure modes
Safety Optimization: A combination of fault tree analysis and optimization techniques
Verifying a Stack with Hazard Pointers in Temporal Logic
Integration formaler Spezifikation und Sicherheitsanalyse
Object-Oriented Modeling and Coordination of Mobile Robots
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
Proving properties of directed graphs: a problem set for automated theorem provers
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Proving properties of finite enumerations - a problem set for automated theorem provers
Interactive Verification of Concurrent Systems using Symbolic Execution
Failure-Sensitive Specification: A formal method for finding failure modes
Safety Optimization: A combination of fault tree analysis and optimization techniques
Verifying a Stack with Hazard Pointers in Temporal Logic
Integration formaler Spezifikation und Sicherheitsanalyse
Object-Oriented Modeling and Coordination of Mobile Robots
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
Proving properties of directed graphs: a problem set for automated theorem provers
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Proving properties of finite enumerations - a problem set for automated theorem provers
Interactive Verification of Concurrent Systems using Symbolic Execution
Failure-Sensitive Specification: A formal method for finding failure modes
Safety Optimization: A combination of fault tree analysis and optimization techniques
Verifying a Stack with Hazard Pointers in Temporal Logic
Integration formaler Spezifikation und Sicherheitsanalyse
Object-Oriented Modeling and Coordination of Mobile Robots
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
Land im silbernen Licht : vom Mittelalter bis 1945
Proving properties of directed graphs: a problem set for automated theorem provers
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems