Ausgabe 1/2006
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Inhalt (6 Artikel)
Regular contribution
Why you should definitely read this special section
Hubert Garavel, John Hatcliff
Regular contribution
The saturation algorithm for symbolic state-space exploration
Gianfranco Ciardo, Robert Marmorstein, Radu Siminiceanu
Regular contribution
Efficient BDDs for bounded arithmetic constraints
Constantinos Bartzis, Tevfik Bultan
Regular contribution
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems
Radu Mateescu
Regular contribution
Pattern-based abstraction for verifying secrecy in protocols
L. Bozga, Y. Lakhnech, M. Périn
Regular contribution
Interactive visualization of large state spaces
Jan Friso Groote, Frank van Ham