What Causes a System to Satisfy a Specification?

by Hana Chockler , Joseph Y. Halpern , Orna Kupferman
Citations:5 - 2 self