Volume 8, Issue 1

February 2006

Special section on Tools and Algorithms for the Construction and Analysis of Systems

6 articles in this issue

Why you should definitely read this special section
Hubert Garavel
John Hatcliff
Regular contribution 09 November 2005 Pages: 1 - 3
The saturation algorithm for symbolic state-space exploration
Gianfranco Ciardo
Robert Marmorstein
Radu Siminiceanu
Regular contribution 09 November 2005 Pages: 4 - 25
Efficient BDDs for bounded arithmetic constraints
Constantinos Bartzis
Tevfik Bultan
Regular contribution 07 October 2005 Pages: 26 - 36
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems
Radu Mateescu
Regular contribution 07 October 2005 Pages: 37 - 56
Pattern-based abstraction for verifying secrecy in protocols
L. Bozga
Y. Lakhnech
M. Périn
Regular contribution 07 October 2005 Pages: 57 - 76
Interactive visualization of large state spaces
Jan Friso Groote
Frank van Ham
Regular contribution 14 October 2005 Pages: 77 - 91

Search