Sammane. A High Level Reachability Analysis using Multiway Decision Graph (2007)

by S Abed, O Ait Mohamed, G Al
Venue:in the HOL Theorem Prover. In International Conference on Theorem Proving in Higher Order Logics (TPHOLs’07): B-Track Proceedings