The Belgian Electronic Identity Card: a Verification Case Study
暂无分享,去创建一个
Frank Piessens | Jan Smans | Pieter Philippaerts | Bart Jacobs | Frédéric Vogels | F. Piessens | B. Jacobs | Pieter Philippaerts | Jan Smans | F. Vogels
[1] Peter W. O'Hearn,et al. Local Reasoning about Programs that Alter Data Structures , 2001, CSL.
[2] Erik Poll,et al. Midlet Navigation Graphs in JML , 2010, SBMF.
[3] K. Rustan M. Leino,et al. ESC/Java User's Manual , 2000 .
[4] Wojciech Mostowski,et al. Fully Verified Java Card API Reference Implementation , 2007, VERIFY.
[5] Anamaria Martins Moreira,et al. Developing Java Card Applications with B , 2007, SBMF.
[6] Peter W. O'Hearn,et al. Symbolic Execution with Separation Logic , 2005, APLAS.
[7] Marieke Huisman,et al. Checking Absence of Illicit Applet Interactions: A Case Study , 2004, FASE.
[8] Greg Nelson,et al. Extended static checking for Java , 2002, PLDI '02.
[9] Frank Piessens,et al. Expressive modular fine-grained concurrency specification , 2011, POPL '11.
[10] John Tang Boyland,et al. Checking Interference with Fractional Permissions , 2003, SAS.
[11] Frank Piessens,et al. A Quick Tour of the VeriFast Program Verifier , 2010, APLAS.