Volume 8, Number 1, February 2006
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Volume 8, Number 2, April 2006
Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Volume 8, Number 3, June 2006
Special Section on Tools and Algorithms for the Construction and Analysis of Systems 2004
: What the small Rubik's cube taught me about data structures, information theory, and randomisation.
: Automated generation of a progress measure for the sweep-line method.
Volume 8, Numbers 4-5, August 2006
A View from Formal Methods 2003
Special Section on Recent Advances in Hardware Verification
: Toward diagrammability and efficiency in event-sequence languages.
Volume 8, Number 6, November 2006
Special Section on Leveraging Applications of Formal Methods
Special Section on Quantitative Analysis of Real-Time Embedded Systems