ITS-Tools
Symbolic Model-Checking Using ITS-Tools. We present verification toolset ITS-tools, featuring a symbolic model-checking back-end engine based on hierarchical set decision diagrams (SDD) that supports reachability, CTL and LTL model-checking and a user-friendly eclipse based front-end. Using model transformations to a Guarded Action Language (GAL) as intermediate format, ITS-tools can analyze third party (Uppaal, Spin, Divine...) specifications.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
Sorted by year (- Thierry-Mieg, Yann: Symbolic and structural model-checking (2021)
- Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-RĂ¼diger: Model checking data flows in concurrent network updates (2019)
- Garavel, Hubert: Nested-unit Petri nets (2019)