Program
Verification
Book

JavaDL: Java Dynamic Logic

an instance of dynamic logic that allows to reason about Java programs

Application domain/field

Dynamic logic
Sequent calculus

Java Specification format

Related papers

https://doi.org/10.1007/978-3-319-49812-6_3 (KeY book, 2016)

Last publication date

2016

Related tools

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.