On theorem prover-based testing Achim D. BruckerBurkhart Wolff Original Article 07 March 2012 Pages: 683 - 721
Constructing and visualizing chemical reaction networks from pi-calculus models Mathias JohnHans-Jörg SchulzAndrea Unger Original Article 28 October 2011 Pages: 723 - 742
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics Pablo RabanalIsmael RodríguezFernando Rubio Original Article 19 January 2012 Pages: 743 - 768
Towards formally specifying and verifying transactional memory Simon DohertyLindsay GrovesMark Moir OriginalPaper 18 March 2012 Pages: 769 - 799
A calculus of trustworthy ad hoc networks Massimo MerroEleonora Sibilio Original Article 16 November 2011 Pages: 801 - 832