Formal verification of programs with exceptions.

Jean-Chrysostome Bolot Pankaj Jalote

Published in: FTCS (1989)

Keyphrases

formal verification
program slicing
model checking
model checker
automated verification
bounded model checking
symbolic model checking
computer programs
temporal logic
knowledge base
dynamic programming
reverse engineering
formal methods
functional verification