A formal verification of the theory of parity complexes.

Mitchell Buckley

Published in: CoRR (2015)

Keyphrases

formal verification
model checking
automated verification
symbolic model checking
bounded model checking
general theory
dynamic programming
artificial intelligence
theoretical framework
error correction
program slicing