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
- model checking algorithm that is optimal for verification of weak LTL properties 2013-06-06 Paper...10 bytes (13 words) - 16:58, 24 September 2023
- tree-processing programs via higher-order model checking 2016-07-27 Paper A ZDD-Based Efficient Higher-Order Model Checking Algorithm 2016-02-26 Paper Automata-based...10 bytes (14 words) - 08:08, 25 September 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
- 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
- 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
- Paper Abstract regular tree model checking 2013-10-07 Paper Handling liveness properties in (\(\omega\)-)regular model checking 2013-10-02 Paper Reachability...10 bytes (13 words) - 05:38, 12 December 2023
- predicates 2014-04-16 Paper On timed models and full abstraction 2013-10-08 Paper Parallel assignments in software model checking 2013-10-07 Paper A static analysis...10 bytes (16 words) - 21:27, 11 December 2023
- Publication Date of Publication Type A linear-time model-checking algorithm for the alternation-free modal...10 bytes (15 words) - 00:45, 12 December 2023
- 2015-09-15 Paper Practical algorithms for MSO model-checking on tree-decomposable graphs 2014-11-24 Paper A faster parameterized algorithm for treedepth 2014-07-01...10 bytes (14 words) - 03:34, 9 December 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
- 1996-06-30 Paper Checking robust nonsingularity of tridiagonal matrices in linear time 1996-06-09 Paper A fast and stable parallel QR algorithm for symmetric...10 bytes (13 words) - 01:12, 9 December 2023
- Bounded model checking for propositional projection temporal logic 2013-06-11 Paper An efficient approach for abstraction-refinement in model checking 2012-11-27...10 bytes (13 words) - 15:37, 6 October 2023
- work-efficient distributed algorithm for reachability analysis. 2010-04-20 Paper Hybrid BDD and All-SAT Method for Model Checking 2009-06-03 Paper Efficient...10 bytes (13 words) - 20:47, 8 December 2023
- criteria and experts 2021-07-01 Paper Model checking quantum systems. Principles and algorithms 2020-12-02 Paper Model checking \(\omega\)-regular properties for...10 bytes (13 words) - 02:26, 25 September 2023
- for Quantitative Model Checking 2007-11-01 Paper Formal Modeling and Analysis of Timed Systems 2006-11-14 Paper Analyzing a \(\chi\) model of a turntable...10 bytes (16 words) - 21:27, 11 December 2023
- 2021-06-21 Paper Efficient verified (UN)SAT certificate checking 2020-03-03 Paper Verified model checking of timed automata 2019-09-16 Paper Automatic refinement...10 bytes (13 words) - 16:24, 6 October 2023
- Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic 2023-01-24 Paper On the Model Checking Problem for Some Extension...10 bytes (15 words) - 10:15, 8 December 2023
- 1996-07-02 Paper Data structures and algorithms for the string statistics problem 1996-05-27 Paper A time-optimal parallel algorithm for three-dimensional convex...10 bytes (17 words) - 01:12, 9 December 2023
