Login / Signup
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.
Martín López Nores
Rebeca P. Díaz Redondo
José Juan Pazos-Arias
Jorge García Duque
Published in:
APSEC (2004)
Keyphrases
</>
formal verification
model checking
learning objects
computationally efficient
bounded model checking
metadata
cost effective
neural network
high quality
test set
highly efficient
symbolic model checking