Home

K._L.__Mcmillan


A Technique of State Space Search Based on Unfolding

Verification of infinite state systems by compositional model checking