Home » org.key-project » keyext.slicing

Keyext Slicing

Proof slicing (removing of unnecessary nodes) for the KeY system.
LicenseGPL 2.0
Ranking
#122737in MvnRepository
HomePage https://key-project.org/ 🔍 Inspect URL
Links

Latest Versions

5 versions →
Version ▼VulnerabilitiesUsagesDate
3.0.x
3.0.0
2
Jul 24, 2026
2.12.x
2.12.3
2
Nov 07, 2024
2.12.2
1
Dec 16, 2023
2.12.1
1
Oct 15, 2023
Show 1 more from 2.12.x
5 versions →