Published May 25, 2023
| Version 23.05
Software
Open
ths-rwth/smtrat: SMT-RAT 23.05
Authors/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-23.05.zip
Files
(1.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:bb62d0abfd3cfb68e888b1794efcd627
|
1.9 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/ths-rwth/smtrat/tree/23.05 (URL)