Assume-guarantee validation for STE properties within an SVA environment.

Zurab Khasidashvili Gavriel Gavrielov Tom Melham

Published in: FMCAD (2009)

Keyphrases

dynamic environments
real time
desirable properties
real world
search engine
website
image analysis
mobile robot
input image