Search results
From MaRDI portal
- Perfect Recall when Model Checking Strategic Abilities: Theory and Applications 2022-05-16 Paper Progress in certifying hardware model checking results 2022-03-25...10 bytes (16 words) - 09:41, 6 October 2023
- synthesis for lemma generation in hardware model checking 2021-10-18 Paper Synthesizing environment invariants for modular hardware verification 2020-08-05 Paper...10 bytes (16 words) - 09:23, 7 October 2023
- bitwidth reduction for unbounded hardware model checking 2009-11-23 Paper A Practical Approach to Word Level Model Checking of Industrial Netlists 2008-07-15...10 bytes (16 words) - 21:31, 22 September 2023
- synthesis for lemma generation in hardware model checking 2021-10-18 Paper Synthesizing environment invariants for modular hardware verification 2020-08-05 Paper...10 bytes (16 words) - 00:55, 10 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 (17 words) - 10:03, 6 October 2023
- synthesis for lemma generation in hardware model checking 2021-10-18 Paper Synthesizing environment invariants for modular hardware verification 2020-08-05 Paper...10 bytes (16 words) - 03:21, 7 October 2023
- out-of-order processor designs using model Checking and a light-weight completion function 2002-07-08 Paper Bounded model checking using satisfiability solving...10 bytes (17 words) - 23:44, 24 September 2023
- Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper New Challenges in Model Checking 2008-07-15 Paper Extending Model Checking with Dynamic...10 bytes (16 words) - 00:11, 12 December 2023
- symbolic model checking 2023-08-17 Paper Deductive verification in decidable fragments with Ivy 2023-05-26 Paper Eager abstraction for symbolic model checking...10 bytes (18 words) - 05:31, 13 December 2023
- coverage in hardware equivalence checking via concolic verification 2023-10-30 Paper BDD-Based Symbolic Model Checking 2018-07-20 Paper SMT-based model checking...10 bytes (16 words) - 20:14, 9 December 2023
- Arrays 2007-11-29 Paper Model Checking Software 2006-11-01 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification...10 bytes (18 words) - 04:40, 9 December 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 (17 words) - 00:32, 10 December 2023
- Paper Meanings of Model Checking 2010-03-09 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper Correct Hardware Design and Verification...10 bytes (19 words) - 03:23, 9 December 2023
- scheduling of distributed systems based on model checking 2012-09-27 Paper Achieving distributed control through model checking 2012-09-27 Paper The Buck Stops Here:...10 bytes (19 words) - 04:20, 9 December 2023
- Paper Verification, Model Checking, and Abstract Interpretation 2007-02-12 Paper Data structures for symbolic multi-valued model-checking 2007-01-24 Paper...10 bytes (16 words) - 03:58, 12 December 2023
- 2010-04-27 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper Efficient SAT-based bounded model checking for software verification...10 bytes (18 words) - 22:25, 11 December 2023
- self-checking test circuits 1981-01-01 Paper Self-checking computer circuits and systems (review) 1981-01-01 Paper Design of totally self-checking combinational...10 bytes (18 words) - 12:50, 28 January 2024
- 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 (20 words) - 06:27, 9 December 2023
- Publication Type A practical approach to model checking duration calculus using Presburger arithmetic 2014-07-11 Paper Models and formal verification of multiprocessor...10 bytes (18 words) - 06:47, 13 December 2023
- Mechanised Wire-wise Verification of Handel-C Synthesis 2015-03-19 Paper Model checking RAISE applicative specifications 2014-11-11 Paper Mechanised wire-wise...10 bytes (18 words) - 22:27, 11 December 2023