HOL Light: An Overview.

Published in: TPHOLs (2009)

Keyphrases

formal methods
theorem prover
multiscale
case study
image sequences
evolutionary algorithm
current status
light scattering