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