Login / Signup
Automated specification analysis using an interactive theorem prover.
Harsh Raju Chamarthi
Panagiotis Manolios
Published in:
FMCAD (2011)
Keyphrases
</>
theorem prover
data analysis
probabilistic model
artificial intelligence
feature set
simulated annealing
statistical analysis
user interaction
automated reasoning
automated deduction
term rewriting
formal proof