Model checking the garbage collection mechanism of SMV
Cindy Eisner
Electronic Notes in Theoretical Computer Science
Over the past nine years, the Formal Methods Group at the IBM Haifa Research Laboratory' has made steady progress in developing tools and techniques that make the power of model checking accessible to the community of hardware designers and verification engineers, to the point where it has become an integral part of the design cycle of many teams. We discuss our approach to the problem of integrating formal methods into an industrial design cycle, and point out those techniques which we have found to be especially effective in an industrial setting.
Cindy Eisner
Electronic Notes in Theoretical Computer Science
Sharon Barner, Shoham Ben-David, et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Anat Dahan, Daniel Geist, et al.
ISQED 2005
Shoham Ben-David, Anna Gringauze, et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)