Published May 5, 2023
| Version pub/strict-covering-1
Software
Open
ths-rwth/smtrat: pub/strict-covering-1
Creators
- 1. Theory of Hybrid Systems group @ RWTH
- 2. Theory of Hybrid Systems - RWTH Aachen University
- 3. Radboud University
- 4. University of Twente, previously @moves-rwth
- 5. RWTH Aachen University
- 6. TU Wien CPS-group
- 7. Trail of Bits
- 8. Runtime Verification
Description
No description provided.
Files
ths-rwth/smtrat-pub/strict-covering-1.zip
Files
(15.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1fc0329704c61642d3de780b56e3d227
|
15.4 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/ths-rwth/smtrat/tree/pub/strict-covering-1 (URL)