Formally Validating a Practical Verification Condition Generator.

Gaurav Parthasarathy Peter Müller Alexander J. Summers

Published in: CAV (2) (2021)

Keyphrases

real world
sufficient conditions
data sets
artificial intelligence
model checking
practical application
real time
neural network
data mining
website
mobile robot
digital images
face verification
asynchronous circuits