May 1, 2013 Comments Off on Organizers
Organizers
- Gary T. Leavens, University of Central Florida, Orlando, FL, USA,?Incorporating Region Logic and Separation Logic into JML Framing
- Peter H. Schmitt, Karlsruhe Institute of Technology, Karlsruhe, Germany, Demo of the KeY system (static verification of JML spec via KeY)
- Jooyong Yi, National University of Singapore, Singapore, On the Specification of the Past (JML extensions to deal with two kinds of the past, i.e., the pre-state and the previous-version state)