Search results
From MaRDI portal
- explicit-state model checking 2015-02-20 Paper On clock-aware LTL properties of timed automata 2015-01-13 Paper Parallel model checking large-scale genetic...10 bytes (13 words) - 13:02, 10 December 2023
- {\(\mu\)}-calculus model checking 2013-08-30 Paper Using assumptions to distribute CTL model checking 2013-08-16 Paper Model checking of biological systems...10 bytes (13 words) - 13:02, 10 December 2023
- multi-objective model checking 2013-12-13 Paper Automatic data-abstraction in model checking multi-agent systems 2011-05-27 Paper Parallel model checking for temporal...10 bytes (13 words) - 16:16, 6 October 2023
- rule-based models 2016-12-16 Paper STL*: extending signal temporal logic with signal-value freezing operator 2014-06-06 Paper Parallel model checking large-scale...10 bytes (13 words) - 00:15, 13 December 2023
- systems 2011-05-27 Paper Parallel model checking for temporal epistemic logic 2011-05-11 Paper Partial order reductions for model checking temporal-epistemic...10 bytes (13 words) - 10:34, 12 December 2023
- On-the-Fly LTL Model Checking 2011-10-07 Paper On-the-fly emptiness check of transition-based Streett automata 2009-12-01 Paper Model Checking Software 2006-11-01...10 bytes (15 words) - 00:07, 25 September 2023
- quantification by symbolic model checking 2012-09-27 Paper Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking 2011-10-07 Paper...10 bytes (13 words) - 09:01, 6 October 2023
- and LBD-based clause sharing policy for parallel SAT solving 2021-04-07 Paper Parallel Explicit Model Checking for Generalized Büchi Automata 2019-09-17...10 bytes (13 words) - 16:29, 21 September 2023
- 2022-08-19 Paper Parallel Explicit Model Checking for Generalized Büchi Automata 2019-09-17 Paper Affine fractional stochastic volatility models 2014-11-12 Paper...10 bytes (13 words) - 00:07, 25 September 2023
- facets of MDP model checking 2022-02-16 Paper Bayesian inference by symbolic model checking 2021-12-08 Paper Probabilistic model checking of AODV 2021-12-08...10 bytes (17 words) - 00:51, 9 December 2023
- logics 2013-10-16 Paper Bounded model checking for all regular properties 2013-09-26 Paper Parallel and symbolic model checking for fixpoint logic with chop...10 bytes (13 words) - 02:46, 25 September 2023
- refinement for \(\mu \)HORS model checking 2018-10-25 Paper Automata-Based Abstraction Refinement for µHORS Model Checking 2018-04-23 Paper Predicate...10 bytes (14 words) - 08:08, 25 September 2023
- Making abstraction-refinement efficient in model checking 2011-08-17 Paper A Semantic Model for Many-Core Parallel Computing 2011-08-12 Paper Public communication...10 bytes (13 words) - 15:37, 6 October 2023
- behavioral UML models 2012-11-08 Paper Multi-valued model checking games 2012-05-11 Paper 2-valued and 3-valued abstraction-refinement in model checking 2010-12-13...10 bytes (15 words) - 23:32, 9 December 2023
- Paper \(2^{5}\) years of model checking 2015-12-03 Paper Counterexample-guided abstraction refinement for symbolic model checking 2015-11-12 Paper Bayesian...10 bytes (16 words) - 05:27, 9 December 2023
- Asynchronous Shared-Memory Systems 2018-08-02 Paper Model checking procedural programs 2018-07-20 Paper Model checking population protocols 2018-04-19 Paper Soundness...10 bytes (15 words) - 06:58, 7 October 2023
- 2024-01-12 Paper Bounded model checking for asynchronous hyperproperties 2023-12-13 Paper AutoHyper: explicit-state model checking for HyperLTL 2023-12-13...10 bytes (13 words) - 02:52, 25 September 2023
- for Pushdown Systems 2023-06-28 Paper LTL model checking of self modifying code 2023-05-08 Paper Model-Checking HyperLTL for Pushdown Systems 2023-03-21...10 bytes (13 words) - 12:50, 7 October 2023
- Shared-Memory Systems 2018-08-02 Paper Symbolic model checking in non-Boolean domains 2018-07-20 Paper Model checking population protocols 2018-04-19 Paper Reachability...10 bytes (14 words) - 09:01, 6 October 2023
- 2011-08-12 Paper Parallel SAT solving in bounded model checking 2011-02-02 Paper Encoding techniques, Craig interpolants and bounded model checking for incomplete...10 bytes (15 words) - 12:50, 7 October 2023
