Reasoning about orchestrations of web services using partial correctness Alan StewartJoaquim GabarroAnthony Keenan Original Article Open access 16 November 2011 Pages: 833 - 846
Simple linear string constraints Xiang FuMichael C. PowellChung-Chih Li Original Article 17 January 2012 Pages: 847 - 891
Explanation of two non-blocking shared-variable communication algorithms Richard BornatHasan Amjad Original Article 09 December 2011 Pages: 893 - 931
Deriving dense linear algebra libraries Paolo BientinesiJohn A. GunnelsField G. Van Zee Original Article 17 January 2012 Pages: 933 - 945
Starvation-free mutual exclusion with semaphores Wim H. HesselinkMark IJbema Original Article Open access 16 December 2011 Pages: 947 - 969
Automatic verification of reduction techniques in Higher Order Logic Sa’ed AbedOtmane Ait MohamedGhiath Al Sammane Original Article 14 February 2012 Pages: 971 - 991
Applications of real number theorem proving in PVS Hanne GottliebsenRuth HardyUrsula Martin Original Article Open access 08 June 2012 Pages: 993 - 1016