Published February 18, 2022
| Version 4.9.9
Software
Open
LS-Lab/KeYmaeraX-release: Version 4.9.9
Authors/Creators
- 1. Karlsruhe Institute of Technology
- 2. Worcester Polytechnic Institute
- 3. Carnegie Mellon University
- 4. Carnegie Mellon
- 5. SnT University of Luxembourg
- 6. University of Edinburgh
Description
Version 4.9.9 provides UI bug fixes and some tactic performance improvements
- UI: get invariant generator (Pegasus) suggestions in dC dialog
- Docker container: Matlab support
- Tactics: bug fixes for definition expansion
- Tactics: faster forward implementation of several frequently used tactics
- Security update: log4j 2.17.1
Files
LS-Lab/KeYmaeraX-release-4.9.9.zip
Files
(58.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:71479d3095f3184af66a49fdd16e087a
|
58.4 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/LS-Lab/KeYmaeraX-release/tree/4.9.9 (URL)