Published June 13, 2024
| Version 24.06
Software
Open
ths-rwth/carl: CArL 24.06
Creators
- Gereon Kremer
- Jasper Nalbach1
- Matthias Volk2
- Sebastian Junges3
- Stefan Schupp
- Florian Corzilius4
- Tobias Winkler
- Koubska
- MazZzinatus
- Bene
- Netz
- Andreas Krüger
- BPag
- Christian Hensel
- ValentinPromies
- MartaGr
- Johannes Neuhaus
- WorldSEnder
- J. Berger5
- Tom Janson
- Joachim Klein6
- Piyush Goyal
- Raoul7
- Tim Quatmann8
- Henrich Lauko9
- 1. Theory of Hybrid Systems group @ RWTH
- 2. Eindhoven University of Technology
- 3. Radboud University
- 4. Theory of Hybrid Systems - RWTH Aachen University
- 5. RWTH Aachen University
- 6. Ex TU Dresden, Germany
- 7. Runtime Verification
- 8. @moves-rwth
- 9. Trail of Bits
Description
No description provided.
Files
ths-rwth/carl-24.06.zip
Files
(860.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:cbb2173bd8d0705081061f6cf45f9d24
|
860.5 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/ths-rwth/carl/tree/24.06 (URL)