A formal verification of the theory of parity complexes.

Mitchell Buckley

Published in: J. Formaliz. Reason. (2015)

Keyphrases

formal verification
model checking
automated verification
theoretical framework
bounded model checking
symbolic model checking
model checker
error correction
general theory
program slicing
knowledge base
reinforcement learning