Counterexample Generation Meets Interactive Theorem Proving: Current Results and Future Opportunities.

Panagiotis Manolios

Published in: ITP (2013)

Keyphrases

long term
current status
e learning
three dimensional
model checking
mobile devices
interactive theorem proving
future development
future directions
medical images
case based reasoning
database
computer science
reinforcement learning
information systems
data mining
real time