Login / Signup
Over-approximating loops to prove properties using bounded model checking.
Priyanka Darke
Bharti Chimdyalwar
R. Venkatesh
Ulka Shrotri
Ravindra Metta
Published in:
DATE (2015)
Keyphrases
</>
bounded model checking
model checking
desirable properties
formal verification
data sets
structural properties
topological properties
linear temporal logic
learning algorithm
website
markov chain