-
1.0.0-SNAPSHOT-TACAS24-submission protected Release: TACAS 2024 Submission
Version used for our article submission to TACAS 2024, TACAS 2024 is the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. We submitted a long tool paper about CPA-Daemon. This version of the tool was described and used for the reported experiments.