Ausgabe 3/2006
Special Section on Tools and Algorithms for the Construction and Analysis of Systems 2004
Inhalt (9 Artikel)
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Tools and algorithms for the construction and analysis of systems
Kurt Jensen, Andreas Podelski
Special section on Tools and Algorithms for the Construction and Analysis of Systems
What the small Rubik’s cube taught me about data structures, information theory, and randomisation
Antti Valmari
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Automated generation of a progress measure for the sweep-line method
Karsten Schmidt
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Lower and upper bounds in zone-based abstractions of timed automata
Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, Radek Pelánek
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Numerical vs. statistical probabilistic model checking
Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David Parker
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Error explanation with distance metrics
Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Online efficient predictive safety analysis of multithreaded programs
Koushik Sen, Grigore Roşu, Gul Agha
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Liveness with invisible ranking
Yi Fang, Nir Piterman, Amir Pnueli, Lenore Zuck
Special section on Tools and Algorithms for the Construction and Analysis of Systems
Checking JML specifications using an extensible software model checking framework
Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff