Output details
11 - Computer Science and Informatics
Queen Mary University of London
jStar: Towards Practical Verification for Java
<11>The first paper to apply separation logic to the automatic verification of Java programs. The technology developed here has been implemented in the verification system jStar. jStar's effectiveness was demonstrated on programs extensively used by developers in real-world applications, but which were highly challenging for existing verification techniques. jStar is now an on-going open-source software project used as the core technology for several verification tools (e.g., coreStar, lStar). According to Microsoft Academic Search, this is the most cited paper from this 2008 conference. The paper led to an awarded joint grant (EPSRC EP/H011749/1) between Queen Mary and Cambridge.