共 50 条
- [41] Improved algorithms for the automata-based approach to model-checking TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 451 - +
- [43] Model-Checking HyperLTL for Pushdown Systems MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 133 - 152
- [46] SAT-based model-checking for security protocols analysis International Journal of Information Security, 2008, 7 : 3 - 32
- [47] Fast generic model-checking for data-based systems FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 83 - 97
- [48] Model diagnostics of parametric Tobit model based on cumulative residuals Journal of the Korean Statistical Society, 2021, 50 : 198 - 213
- [50] Connectivity testing through model-checking FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS, 2004, 3235 : 167 - 184