An Environment for Formal Verification Based on Symbolic Computations.

Ramin Hojati Robert K. Brayton

Published in: Formal Methods Syst. Des. (1995)

Keyphrases

formal verification
model checking
mobile robot
automated verification
data sets
bounded model checking
real time
symbolic model checking
high level
dynamic environments
orders of magnitude
partial order
search strategies