| |
| 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)] |
| | |
