Policy validation for system automation: A case study
Emmanuel Zarpas, Cindy Eisner, et al.
POLICY 2008
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.
Emmanuel Zarpas, Cindy Eisner, et al.
POLICY 2008
Shoham Ben-David, Fady Copty, et al.
Formal Methods in System Design
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, et al.
Formal Methods in System Design
Shoham Ben-David, Anna Gringauze, et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)