Towards a Usable and Sustainable Deductive Verification Tool.

Bernhard Beckert Richard Bubel Reiner Hähnle Mattias Ulbrich

Published in: ISoLA (2) (2022)

Keyphrases

web pages
model checking
database
databases
case study
management system
object oriented
software tools
formal verification
water resources
false acceptance rate