Formal Verification of Ada Programs.

David Guaspari Carla Marceau Wolfgang Polak

Published in: Larch (1992)

Keyphrases

formal verification
program slicing
model checking
bounded model checking
automated verification
symbolic model checking
model checker
data sets
programming environment
artificial intelligence
knowledge representation
temporal logic