Boost the Impact of Continuous Formal Verification in Industry.

Felipe R. Monteiro Mikhail Y. R. Gadelha Lucas C. Cordeiro

Published in: CoRR (2019)

Keyphrases

formal verification
model checking
symbolic model checking
automated verification
model checker
bounded model checking
economic impact
program slicing
temporal logic
artificial intelligence
world wide
case study
software engineering
business activities
internet enabled