A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
301-302
Special section on The Industrialization of formal methods: A view from formal methods 2003
The industrialization of formal methods
John S. Fitzgerald, Stefania Gnesi and Dino Mandrioli
303-319
Special section on The Industrialization of formal methods: A view from formal methods 2003
Proving the shalls
Early validation of requirements through formal methods
Steven P. Miller, Alan C. Tribble, Michael W. Whalen and Mats P. E. Heimdahl
321-335
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
337-354
Special section on The Industrialization of formal methods: A view from formal methods 2003
Software tools for safety-critical software development
Alan Wassyng and Mark Lawford
355-358
Special section on Recent Advances in Hardware Verification
Introductory Paper
Enrico Tronci
359-371
Special section on Recent Advances in Hardware Verification
Inductive assertions and operational semantics
J. Strother Moore
373-386
Special section on Recent Advances in Hardware Verification
Coverage metrics for formal verification
Hana Chockler, Orna Kupferman and Moshe Vardi
387-396
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 and Pranav Ashar
397-409
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 and Marisa Venturini Zilli
411-430
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 and Wolfgang J. Paul
431-447
Special section on Recent Advances in Hardware Verification
Toward diagrammability and efficiency in event-sequence languages
Kathi Fisler
449-466
Regular contribution
Widening operators for powerset domains
Roberto Bagnara, Patricia M. Hill and Enea Zaffanella