Ausgabe 4-5/2006
A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
Inhalt (12 Artikel)
Special section on The Industrialization of formal methods: A view from formal methods 2003
The industrialization of formal methods
John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
Special section on The Industrialization of formal methods: A view from formal methods 2003
Proving the shalls
Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats P. E. Heimdahl
Special section on The Industrialization of formal methods: A view from formal methods 2003
Formal change impact analyses for emulated control software
C. J. Fidge
Special section on The Industrialization of formal methods: A view from formal methods 2003
Software tools for safety-critical software development
Alan Wassyng, Mark Lawford
Special section on Recent Advances in Hardware Verification
Inductive assertions and operational semantics
J. Strother Moore
Special section on Recent Advances in Hardware Verification
Coverage metrics for formal verification
Hana Chockler, Orna Kupferman, Moshe Vardi
Special section on Recent Advances in Hardware Verifications
Efficient distributed SAT and SAT-based distributed Bounded Model Checking
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
Special section on Recent Advances in Hardware Verification
Finite horizon analysis of Markov Chains with the Murϕ verifier
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Special section on Recent Advances in Hardware Verification
Putting it all together – Formal verification of the VAMP
Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
Special section on Recent Advances in Hardware Verification
Toward diagrammability and efficiency in event-sequence languages
Kathi Fisler
Regular contribution
Widening operators for powerset domains
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella