December 24 2021
Verify the proof files of Java programs with the help of this straightforward and intuitive piece of software, with minimal effort entailed
User rating |
805
3.5
|
Downloads | 6363 |
File size | 26 MB |
OS | Windows All |
Company |
Karlsruhe Institute of Technology
|
Core:
IMP: New SMT translation (!312), rework of the SMT communication (!381), and smaller fixes (!394)
IMP: Renovating the KeY parser (!278)
the great work
спасибо, работает)