The physics of software tools: SWOT analysis and vision Bernhard Steffen Position Paper 18 January 2017 Pages: 1 - 7
MCMAS: an open-source model checker for the verification of multi-agent systems Alessio LomuscioHongyang QuFranco Raimondi Regular Paper Open access 26 April 2015 Pages: 9 - 30
Code generation for Event-B Víctor RiveraNéstor CatañoCamilo Rueda Regular Paper 06 May 2015 Pages: 31 - 52
Testing real-time systems from compositional symbolic specifications Adriana C. DamascenoPatricia D. L. MachadoWilkerson L. Andrade Regular Paper 09 July 2015 Pages: 53 - 71
Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\) Kangfeng YeJim Woodcock Regular Paper 03 November 2015 Pages: 73 - 96
Handling loops in bounded model checking of C programs via k-induction Mikhail Y. R. GadelhaHussama I. IsmailLucas C. Cordeiro Regular Paper 23 November 2015 Pages: 97 - 114
Model-based regression testing by OCL Philipp ZechPhilipp KalbRuth Breu Regular Paper 18 November 2015 Pages: 115 - 131