Implementation-level verification of algorithms with KeY
We give an account on the authors’ experience and results from the software verification competition held at the Formal Methods 2012 conference. Competitions like this are meant to provide a benchmark for verification systems. It consisted of three algorithms which the authors have implemented in Ja...
Uložené v:
| Vydané v: | International journal on software tools for technology transfer Ročník 17; číslo 6; s. 729 - 744 |
|---|---|
| Hlavní autori: | , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Berlin/Heidelberg
Springer Berlin Heidelberg
01.11.2015
Springer Nature B.V |
| Predmet: | |
| ISSN: | 1433-2779, 1433-2787 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Buďte prvý, kto okomentuje tento záznam!