A Hoare logic for linear systems Rob ArthanUrsula MartinPaulo Oliva Original Article 11 May 2011 Pages: 345 - 363
Model checking RAISE applicative specifications Juan I. PernaChris George Original Article 26 November 2011 Pages: 365 - 388
Proving termination of nonlinear command sequences Domagoj BabićByron CookZvonimir Rakamarić Original Article 27 June 2012 Pages: 389 - 403
A Dynamic Logic for deductive verification of multi-threaded programs Bernhard BeckertVladimir Klebanov Original Article 29 October 2012 Pages: 405 - 437
Atomicity failure and the retrenchment atomicity pattern Richard BanachCzesław JeskeSusan Stepney Original Article 26 November 2011 Pages: 439 - 464