Paper Info
Title
Symbolic Model-Checking Using ITS-Tools.
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-Mieg122518.17