KeY Project: Integrated Deductive Software Design

Case Studies &
Tutorials

Address/Contact

Vladimir Klebanov – Towards Deductive Verification of Concurrent Java Software

Webmaster
02-Sep-2024