Verification of Supervisory Control Software Using State Proximity and Merging.

Flavio Lerda James Kapinski Edmund M. Clarke Bruce H. Krogh

Published in: HSCC (2008)

Keyphrases

control software
control system
real time
model checking
state space
information retrieval
search engine
image segmentation
database systems
search algorithm