Zobrazeno 1 - 10
of 1 471
pro vyhledávání: '"Program verifier"'
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.
Autor:
Li, Liyi, Zhu, Mingwei, Cleaveland, Rance, Nicolellis, Alexander, Lee, Yi, Chang, Le, Wu, Xiaodi
Publikováno v:
ECOOP 2024
Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specifications. Formal verification, however, also traditionally requires signifi
Externí odkaz:
http://arxiv.org/abs/2211.06411
Publikováno v:
EPTCS 284, 2018, pp. 1-15
Among formal methods, the deductive verification approach allows establishing the strongest possible formal guarantees on critical software. The downside is the cost in terms of human effort required to design adequate formal specifications and to su
Externí odkaz:
http://arxiv.org/abs/1811.10814
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.
Conference
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.
Autor:
Grov, Gudmund
A program verifier is a tool that can be used to verify that a "contract" for a program holds - i.e. given a precondition the program guarantees that a given postcondition holds - by only working at the level of the annotated program. An alternative
Externí odkaz:
http://arxiv.org/abs/1406.2824
Kniha
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.
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:56-84
Previous work on rewriting and reachability logic establishes a vision for a language-agnostic program verifier, which takes three inputs: a program, its formal specification, and the formal semantics of the programming language in which the program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6bf8e396bf2212bd7aaa2d881cd563c
https://doi.org/10.1145/3586029
https://doi.org/10.1145/3586029
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 284, Iss Proc. F-IDE 2018, Pp 1-15 (2018)
Among formal methods, the deductive verification approach allows establishing the strongest possible formal guarantees on critical software. The downside is the cost in terms of human effort required to design adequate formal specifications and to su
Externí odkaz:
https://doaj.org/article/f0505659f9f446b49b0323766575790a
Autor:
Mulder, Henk, Huisman, Marieke, Joosten, Sebastiaan, Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard, Hähnle, Reiner, Ulbrich, Mattias
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030643539
20 Years of KeY
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY, 65-82
STARTPAGE=65;ENDPAGE=82;TITLE=Deductive Software Verification: Future Perspectives
20 Years of KeY
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY, 65-82
STARTPAGE=65;ENDPAGE=82;TITLE=Deductive Software Verification: Future Perspectives
As program verification tools are becoming more powerful, and are used on larger programs, their performance also becomes more and more important. In this paper we investigate performance bottlenecks in the VerCors program verifier. Moreover, we also
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::43667017ea52c7330b239fceeb100f8c
https://doi.org/10.1007/978-3-030-64354-6_3
https://doi.org/10.1007/978-3-030-64354-6_3