Issue 1/2001
Content (5 Articles)
Bounded Model Checking Using Satisfiability Solving
Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu
On the Effective Deployment of Functional Formal Verification
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham