K Fisler, S Krishnamurthi - ACM SIGSOFT Software Engineering Notes, 2001 - dl.acm.org
Most existing modular model checking techniques betray their hardware roots: they assume
that modules compose in parallel. In contrast, collaboration-based software designs, which …