Issue 1/2013
Content (4 Articles)
Modeling and visualizing object-oriented programs with Codecharts
A. H. Eden, E. Gasparis, J. Nicholson, R. Kazman
Automatic verification of competitive stochastic systems
Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Aistis Simaitis
Ranking function synthesis for bit-vector relations
Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger