Reasoning About JML: Differences Between KeY and OpenJML. In Integrated Formal Methods, pages 30–46, Cham, 2018. Springer International Publishing.
abstract   bibtex   
To increase the impact and capabilities of formal verification, it should be possible to apply different verification techniques on the same specification. However, this can only be achieved if verification tools agree on the syntax and underlying semantics of the specification language and unfortunately, in practice, this is often not the case.

Downloads: 0