Published May 25, 2023
| Version 23.05
Software
Open
ths-rwth/carl: CArL 23.05
Authors/Creators
- Gereon Kremer
- Matthias Volk1
- Jasper Nalbach2
- Sebastian Junges3
- Stefan Schupp4
- Florian Corzilius5
- Tobias Winkler
- Koubska
- MazZzinatus
- Bene
- Andreas Krüger
- BPag
- Christian Hensel
- MartaGr
- Johannes Neuhaus
- WorldSEnder
- ValentinPromies
- J. Berger6
- Tom Janson
- Joachim Klein7
- Piyush Goyal
- Raoul8
- Tim Quatmann9
- Henrich Lauko10
- 1. University of Twente, previously @moves-rwth
- 2. Theory of Hybrid Systems group @ RWTH
- 3. Radboud University
- 4. TU Wien CPS-group
- 5. Theory of Hybrid Systems - RWTH Aachen University
- 6. RWTH Aachen University
- 7. Ex TU Dresden, Germany
- 8. Runtime Verification
- 9. @moves-rwth
- 10. Trail of Bits
Description
No description provided.
Files
ths-rwth/carl-23.05.zip
Files
(853.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ccbb9f82cd6b27883c83490052079cae
|
853.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/ths-rwth/carl/tree/23.05 (URL)