@inproceedings{BeckertBubelEtAl2022,
author = {Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Mattias Ulbrich},
title = {Towards a Usable and Sustainable Deductive Verification Tool},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering (ISoLA) 2022},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {281--300},
publisher = {Springer},
year = {2022},
doi = {10.1007/978-3-031-19756-7\_16},
url = {https://doi.org/10.1007/978-3-031-19756-7\_16}
}
Towards a Usable and Sustainable Deductive Verification Tool
| Author(s): | Bernhard Beckert, Richard Bubel, Reiner Hähnle, and Mattias Ulbrich |
|---|---|
| In: | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (ISoLA) 2022 |
| Publisher: | Springer |
| Series: | Lecture Notes in Computer Science |
| Volume: | 13702 |
| Year: | 2022 |
| Pages: | 281-300 |
| URL: | https://doi.org/10.1007/978-3-031-19756-7_16 |
| DOI: | 10.1007/978-3-031-19756-7_16 |
| Links: | The final publication is available at Springer. |