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
bounded model checking
higher order
automated verification
program slicing
theorem proving
temporal logic
symbolic model checking
equational theories
logic programs
theorem prover
automated theorem proving