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
- 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
- programs via sequential model checking 2023-07-28 Paper Assume, Guarantee or Repair 2022-10-13 Paper Compositional model checking for multi-properties 2021-10-18...10 bytes (15 words) - 23:32, 9 December 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
- 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
- Asynchronous Shared-Memory Systems 2018-08-02 Paper Model Checking Procedural Programs 2018-07-20 Paper Model Checking Population Protocols 2018-04-19 Paper https://portal...10 bytes (15 words) - 06:58, 7 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
- 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
- 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
- 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
- Methods 2006-10-20 Paper Distributed symbolic model checking for \(\mu\)-calculus 2006-02-20 Paper A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion...10 bytes (13 words) - 20:47, 8 December 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
- system for disjoint parallel quantum programs 2021-12-01 Paper https://portal.mardi4nfdi.de/entity/Q4996777 2021-07-01 Paper Model Checking Quantum Systems...10 bytes (13 words) - 02:26, 25 September 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
- 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
- 2006-01-10 Paper Verification, Model Checking, and Abstract Interpretation 2005-12-06 Paper Bounded LTL model checking with stable models 2004-08-19 Paper https://portal...10 bytes (15 words) - 09:03, 6 October 2023
