Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-662-46681-0_20 | TACAS |
Field | DocType | Citations |
Kripke structure,Model transformation,Programming language,Model checking,Action language,Computer science,Third party,Theoretical computer science,Reachability,Eclipse | Conference | 1 |
PageRank | References | Authors |
0.36 | 21 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yann Thierry-Mieg | 1 | 225 | 18.17 |