- Referenced in 2541 articles
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
- Referenced in 295 articles
- NuSMV is a symbolic model checker developed as...
- Referenced in 18 articles
- LiQuor is a tool for verifying probabilistic reactive...
- Referenced in 897 articles
- YALMIP Yet another LMI parser. YALMIP is a...
- Referenced in 212 articles
- The Multi-Parametric Toolbox (MPT) is a free...
- Referenced in 137 articles
- Extended static checking. This paper provides an overview...
- Referenced in 134 articles
- The Extended Static Checker for Java version 2...
- Referenced in 29 articles
- An overview of the runtime verification tool Java...
- Referenced in 58 articles
- FDR2 is a refinement checker for establishing properties...
- Referenced in 28 articles
- Types as models, model checking message-passing programs...
- Referenced in 89 articles
- MOCHA: Modularity in Model Checking. MOCHA is a...
- Referenced in 174 articles
- Simulation model development and analysis in UNITY. We...
- Referenced in 17 articles
- Metropolis: an integrated electronic system design environment. oday...