- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Formal Verification of Object-Oriented Software: Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy, S. 342-359
- Bibliographic citation
-
Karlsruhe Reports in Informatics ; 2011,26
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2011
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
Karlsruhe Institute of Technology, Faculty of Informatics
- (when)
-
2011
- Creator
- Contributor
-
Beckert, Bernhard
Damiani, Ferruccio
Gurov, Dilian
- URN
-
urn:nbn:de:bvb:384-opus4-554017
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 11:01 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Tofan, Bogdan
- Schellhorn, Gerhard
- Reif, Wolfgang
- Beckert, Bernhard
- Damiani, Ferruccio
- Gurov, Dilian
- Universität Augsburg
- Karlsruhe Institute of Technology, Faculty of Informatics
Time of origin
- 2011
Other Objects (12)
Embedding Rely-Guarantee Reasoning in Temporal Logic
Korrektheit von Spezifikationen und generischen Moduln
Verifying Linearizability and Lock-Freedom with Temporal Logic
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Compositional verification of a lock-free stack with RGITL
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
Design Time and Run Time Formal Safety Analysis using Executable Models
Embedding Rely-Guarantee Reasoning in Temporal Logic
Korrektheit von Spezifikationen und generischen Moduln
Verifying Linearizability and Lock-Freedom with Temporal Logic
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Compositional verification of a lock-free stack with RGITL
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
Design Time and Run Time Formal Safety Analysis using Executable Models
Embedding Rely-Guarantee Reasoning in Temporal Logic
Korrektheit von Spezifikationen und generischen Moduln
Verifying Linearizability and Lock-Freedom with Temporal Logic
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Compositional verification of a lock-free stack with RGITL
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)