Volume 3,Issue 2,2009 Table of Contents

Other Issues:  

Special Double Issue on Formal Methods of Program Development

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



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号