Volume 12, Issue 6

November 2010

Special Section on VSTTE 2008

5 articles in this issue

Verified software: theories, tools and experiments
Daniel Kroening
Tiziana Margaria
Introduction 28 October 2010 Pages: 405 - 408
Combining predicate and numeric abstraction for software model checking
Arie Gurfinkel
Sagar Chaki
VSTTE 2008 04 June 2010 Pages: 409 - 427
Towards an industrial grade IVE for Java and next generation research platform for JML
Patrice Chalin
Robby
George Karabotsos
VSTTE 2008 15 June 2010 Pages: 429 - 446
Rodin: an open toolset for modelling and reasoning in Event-B
Jean-Raymond Abrial
Michael Butler
Laurent Voisin
VSTTE 2008 07 April 2010 Pages: 447 - 466
Improved usability and performance of SMT solvers for debugging specifications
David R. Cok
VSTTE 2008 19 February 2010 Pages: 467 - 481

Search