Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover (2003)

by H Amjad
Venue:In Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, volume 2758 of Lecture Notes in Computer Science