| |
Volume 3,Issue 2,2009 Table of Contents
Special Double Issue on Formal Methods of Program Development | | | Editorial | | | Dines Bjφrner | | | 2009,3(2):121-127 [Abstract(3837)] [View PDF 477.63 K (2740)] | | | | | Designing and Analyzing a Flash File System with Alloy | | | Eunsuk Kang and Daniel Jackson | | | 2009,3(2):129-148 [Abstract(4982)] [View PDF 3.29 M (3409)] | | | | | Symbolic Bounded Model Checking of Abstract State Machines | | | Margus Veanes,Nikolaj Bjφrner,Yuri Gurevich and Wolfram Schulte | | | 2009,3(2):149-170 [Abstract(4590)] [View PDF 1.28 M (3394)] | | | | | Efficient Model Checking for Duration Calculus? | | | Martin Fr¨anzle1 and Michael R. Hansen2 | | | 2009,3(2):171-196 [Abstract(51166)] [View PDF 3.39 M (3322)] | | | | | Refinement-Based Guidelines for Algorithmic Systems | | | Dominique Méry | | | 2009,3(2):197-239 [Abstract(4808)] [View PDF 2.29 M (3047)] | | | | | Developing a Domain Model for Relay Circuits | | | Anne E. Haxthausen | | | 2009,3(2):241-272 [Abstract(3429)] [View PDF 905.63 K (3112)] | | | | | Formal Verification of a Consensus Algorithm in the Heard-Of Model | | | Bernadette,Charron-Bost and Stephan Merz | | | 2009,3(2):273-303 [Abstract(4128)] [View PDF 1.51 M (3223)] | | | | | Methods for the Development of Distributed Real-Time Embedded Systems Using VDM | | | Peter Gorm Larsen,John Fitzgerald and Sune Wolff | | | 2009,3(2):305-341 [Abstract(5275)] [View PDF 1.78 M (4170)] | | | | | The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip | | | Taro Kurita and Yasumasa Nakatsugawa | | | 2009,3(2):343-355 [Abstract(4818)] [View PDF 736.78 K (4558)] | | | | | A Chain Datatype in Z | | | Leo Freitas and Jim Woodcock | | | 2009,3(2):357-374 [Abstract(3301)] [View PDF 901.95 K (2973)] | | | | | Fault-Based Conformance Testing in Practice | | | Martin Weiglhofer,Bernhard Aichernig and Franz Wotawa | | | 2009,3(2):375-411 [Abstract(3796)] [View PDF 1.94 M (3324)] | | | |
|
