TRICker

TRICker (Timing Requirements Integration Checker) is a tool for checking safe decomposition of timing requirements. Details about this tool can be found in the following paper.

Cimatti, A., Geatti, L., Griggio, A., Kimberly, G., & Tonetta, S. (2020, April). Safe Decomposition of Startup Requirements: Verification and Synthesis. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (pp. 155-172). Springer, Cham.

DBLP

Download

A tarball with the source code can be download at this link.