Toward the Formal Verification of a Unification System.

Hui Liu Jinglei Zhao Ruzhan Lu

Published in: IEEE Trans. Syst. Man Cybern. Part B (2009)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
higher order
temporal logic
theorem proving
program slicing
equational theories
functional verification
software engineering
theorem prover