Verifying JML specifications with model fields
暂无分享,去创建一个
[1] Bart Jacobs,et al. The LOOP Compiler for Java and JML , 2001, TACAS.
[2] Stephen H. Edwards,et al. Model variables: cleanly supporting abstraction in design by contract , 2005, Softw. Pract. Exp..
[3] K. Rustan M. Leino,et al. Data abstraction and information hiding , 2002, TOPL.
[4] Bart Jacobs,et al. A Logic for the Java Modeling Language JML , 2001, FASE.
[5] Gary T. Leavens,et al. Desugaring JML Method Specifications , 2005 .
[6] Yoonsik Cheon,et al. A Runtime Assertion Checker for the Java Modeling Language (JML) , 2003, ICSE 2003.
[7] Gary T. Leavens,et al. Modular specification of frame properties in JML , 2003, Concurr. Comput. Pract. Exp..