Login / Signup
Symbolic Detection of Assertion Dependencies for Bounded Model Checking.
Grigory Fedyukovich
Andrea Callia D'Iddio
Antti E. J. Hyvärinen
Natasha Sharygina
Published in:
FASE (2015)
Keyphrases
</>
bounded model checking
automatic detection
detection method
object detection
detection accuracy
formal verification
anomaly detection
false alarms
false positives
model checking
neural network
detection rate
evaluation function
dependency analysis