| |
| Editorial |
| Dines Bjφrner |
| 2009,3(2):121-127 [Abstract] [View PDF(477.63 K)] |
| |
| Designing and Analyzing a Flash File System with Alloy |
| Eunsuk Kang and Daniel Jackson |
| 2009,3(2):129-148 [Abstract] [View PDF(3.29 M)] |
| |
| Symbolic Bounded Model Checking of Abstract State Machines |
| Margus Veanes,Nikolaj Bjφrner,Yuri Gurevich and Wolfram Schulte |
| 2009,3(2):149-170 [Abstract] [View PDF(1.28 M)] |
| |
| Efficient Model Checking for Duration Calculus? |
| Martin Fr¨anzle1 and Michael R. Hansen2 |
| 2009,3(2):171-196 [Abstract] [View PDF(3.39 M)] |
| |
| Refinement-Based Guidelines for Algorithmic Systems |
| Dominique Méry |
| 2009,3(2):197-239 [Abstract] [View PDF(2.29 M)] |
| |
| Developing a Domain Model for Relay Circuits |
| Anne E. Haxthausen |
| 2009,3(2):241-272 [Abstract] [View PDF(1.61 M)] |
| |
| Formal Verification of a Consensus Algorithm in the Heard-Of Model |
| Bernadette,Charron-Bost and Stephan Merz |
| 2009,3(2):273-303 [Abstract] [View PDF(1.51 M)] |
| |
| 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] [View PDF(1.78 M)] |
| |
| 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] [View PDF(736.78 K)] |
| |
| A Chain Datatype in Z |
| Leo Freitas and Jim Woodcock |
| 2009,3(2):357-374 [Abstract] [View PDF(901.95 K)] |
| |
| Fault-Based Conformance Testing in Practice |
| Martin Weiglhofer,Bernhard Aichernig and Franz Wotawa |
| 2009,3(2):375-411 [Abstract] [View PDF(1.94 M)] |
| |