The Common HOL Platform.

Published in: PxTP@CADE (2015)

Keyphrases

real time
theorem prover
artificial intelligence
video sequences
theorem proving
information systems
formal methods
rapid prototyping
distributed architecture
communication protocol
higher order logic