Formal Methods in Computer-Aided Design: Third International ...
Preview
RAVEN: Real-time analyzing and verification environment. Technical Report WSI 2000-3, University of Tübingen, Wilhelm-Schickard-Institute, January 2000. Jürgen Ruf and Thomas Kropf. Symbolic Model Checking for a Discrete Clocked ...