Bounded Model Checking Using Satisfiability Solving Edmund ClarkeArmin BiereYunshan Zhu OriginalPaper Pages: 7 - 34
On the Effective Deployment of Functional Formal Verification Yael Abarbanel-VinovNeta Aizenbud-ReshefTali Yatzkar-Haham OriginalPaper Pages: 35 - 44
LSCs: Breathing Life into Message Sequence Charts Werner DammDavid Harel OriginalPaper Pages: 45 - 80
Formal Methods in Designing Embedded Systems—the SACRES Experience Klaus Winkelmann OriginalPaper Pages: 81 - 110