Model checking via ΓCFA (2007)

by Matthew Might, Benjamin Chambers, Olin Shivers
Venue:In Proceedings of VMCAI’07