Reachability analysis using multiway decision graphs in the HOL theorem prover.

Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane

Browse the full SAC paper archive.