The open verifier framework for foundational verifiers.

Bor-Yuh Evan Chang Adam Chlipala George C. Necula Robert R. Schneck

Published in: TLDI (2005)

Keyphrases

main contribution
multi class
conceptual framework
database
real time
genetic algorithm
decision making
metadata
digital libraries
multiresolution
wireless sensor networks
lightweight
theoretical framework