Zobrazeno 1 - 10
of 45
pro vyhledávání: '"de Gouw, Stijn"'
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12297
This paper introduces a dynamic logic extension of separation logic. The assertion language of separation logic is extended with modalities for the five types of the basic instructions of separation logic: simple assignment, look-up, mutation, alloca
Externí odkaz:
http://arxiv.org/abs/2309.08962
Autor:
Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., van Eekelen, Marko, de Gouw, Stijn
As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection framework. Keywor
Externí odkaz:
http://arxiv.org/abs/1911.04195
Autor:
de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi
Publikováno v:
EPTCS 302, 2019, pp. 1-15
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are de
Externí odkaz:
http://arxiv.org/abs/1908.10040
We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-oriented programs to recursive programs. This transformation suggests
Externí odkaz:
http://arxiv.org/abs/1004.4656
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The project files for the journal `Integrating ADTs in KeY and their Application to History-based reasoning about Collection.' The archive contains: The bundled version of KeY, key-2.8.0-exe.jar. The java source code of the project. Isabelle code (Co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47eab49e5f40d62eafd04468cea85ccb
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The project files for the article `Verifying OpenJDK���s LinkedList using KeY ` The archive contains two folders: One is the original formal specification of Java���s linked list which is related to our paper for TACAS2020(See https://doi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64a64cc5c30d65e29e3e839c0d5976c0
The project files for the article `Verifying OpenJDK’s LinkedList using KeY ` The archive contains two folders: One is the original formal specification of Java’s linked list which is related to our paper for TACAS2020(See https://doi.org/10.5281
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1216468e9a84537db6914cff04fb1d64