Automated property verification for large scale B models with ProB Michael LeuschelJérôme FalampinDaniel Plagge OriginalPaper Open access 14 January 2011 Pages: 683 - 709
Compositional refinement in agent-based security protocols A. K. McIverC. C. Morgan Original Article 10 November 2010 Pages: 711 - 737
A tableau-based decision procedure for CTL* Mark Reynolds Original Article 10 August 2011 Pages: 739 - 779
Symbolic predictive analysis for concurrent programs Chao WangSudipta KunduAarti Gupta OriginalPaper 07 April 2011 Pages: 781 - 805