Bridging the Gap between Testing and Formal Verification in Ada Development.

Claude Marché Johannes Kanig

Published in: ERCIM News (2015)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
decision support
knowledge base
software engineering
functional verification
case study
knowledge representation
object oriented
information processing
software architecture