Improving the Usability of HOL Through Controlled Automation Tactics.

Eunsuk Kang Mark D. Aagaard

Published in: TPHOLs (2007)

Keyphrases

genetic algorithm
information systems
multiscale
formal methods
social networks
artificial neural networks
control system
theorem prover