Efficient Debugging in a Formal Verification Environment.

Fady Copty Amitai Irron Osnat Weissberg Nathan P. Kropp Gila Kamhi

Published in: CHARME (2001)

Keyphrases

formal verification
program slicing
model checking
cost effective
mobile robot
knowledge representation
state space
rough sets
computationally efficient
partial order
symbolic model checking
bounded model checking
automated verification