No.016 The Java Modeling Language (JML)

Icon

NII Shonan Meeting Seminar 016

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)

Category: Organizers

Tagged:

Comments are closed.