Skip to main content
main-content

Zeitschrift

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 1/2006

Ausgabe 1/2006

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

Inhaltsverzeichnis ( 6 Artikel )

01.02.2006 | Regular contribution | Ausgabe 1/2006

Why you should definitely read this special section

Hubert Garavel, John Hatcliff

01.02.2006 | Regular contribution | Ausgabe 1/2006

The saturation algorithm for symbolic state-space exploration

Gianfranco Ciardo, Robert Marmorstein, Radu Siminiceanu

01.02.2006 | Regular contribution | Ausgabe 1/2006

Efficient BDDs for bounded arithmetic constraints

Constantinos Bartzis, Tevfik Bultan

01.02.2006 | Regular contribution | Ausgabe 1/2006

CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems

Radu Mateescu

01.02.2006 | Regular contribution | Ausgabe 1/2006

Pattern-based abstraction for verifying secrecy in protocols

L. Bozga, Y. Lakhnech, M. Périn

01.02.2006 | Regular contribution | Ausgabe 1/2006

Interactive visualization of large state spaces

Jan Friso Groote, Frank van Ham

Aktuelle Ausgaben

Premium Partner