Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Grebing, Sarah"'
Interactive program verification is characterized by iterations of unfinished proof attempts. To support the process of constructing a complete proof, many interactive program verification systems offer a proof scripting language as a text-based way
Externí odkaz:
http://arxiv.org/abs/1804.04402
Publikováno v:
EPTCS 167, 2014, pp. 4-13
In recent years the effectiveness of interactive theorem provers has increased to an extent that the bottleneck in the interactive process shifted to efficiency: while in principle large and complex theorems are provable (effectiveness), it takes a l
Externí odkaz:
http://arxiv.org/abs/1410.8215
Autor:
Ahrendt, Wolfgang, Beckert, Bernhard, Bruns, Daniel, Bubel, Richard, Gladisch, Christoph, Grebing, Sarah, Hähnle, Reiner, Hentschel, Martin, Herda, Mihai, Klebanov, Vladimir, Mostowski, Wojciech, Scheben, Christoph, Schmitt, Peter H., Ulbrich, Mattias, Giannakopoulou, Dimitra, Kroening, Daniel
Publikováno v:
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, 55-71
STARTPAGE=55;ENDPAGE=71;TITLE=Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments ISBN: 9783319121536
VSTTE
STARTPAGE=55;ENDPAGE=71;TITLE=Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments ISBN: 9783319121536
VSTTE
The KeY system offers a platform of software analysis tools for sequential Java. Foremost, this includes full functional verification against contracts written in the Java Modeling Language. But the approach is general enough to provide a basis for o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cf9afa1f90aa4e2753c7b29e4c73d1d
https://research.utwente.nl/en/publications/5f9412d3-c2fd-43d5-8d1f-3a2077f2b6ec
https://research.utwente.nl/en/publications/5f9412d3-c2fd-43d5-8d1f-3a2077f2b6ec
It is a common belief that the rise of standardized software certification schemes like the Common Criteria (CC) would give a boost to formal verification, and that software certification may be a killer application for program verification. However,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d5d4bb618aba6f80a564135a8d4d452
https://publikationen.bibliothek.kit.edu/1000024831
https://publikationen.bibliothek.kit.edu/1000024831
Autor:
Ahrendt, Wolfgang, Grebing, Sarah
Publikováno v:
Deductive Software Verification - The KeY Book; 2016, p495-539, 45p
Publikováno v:
Software Engineering & Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers; 2015, p3-19, 17p
Publikováno v:
Proceedings of the 29th ACM IEEE International Conference Automated Software Engineering; 9/15/2014, p349-360, 12p