Search results
From MaRDI portal
- and Control 2007-05-02 Paper Verification, Model Checking, and Abstract Interpretation 2007-02-12 Paper Verification, Model Checking, and Abstract Interpretation...10 bytes (18 words) - 00:45, 13 December 2023
- de/entity/Q2844808 2013-08-19 Paper Computer Aided Verification 2010-04-20 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper A Retrospective...10 bytes (18 words) - 04:40, 9 December 2023
- Aided Verification 2006-01-10 Paper Computer Aided Verification 2006-01-10 Paper Computer Aided Verification 2006-01-10 Paper Verification, Model Checking...10 bytes (18 words) - 00:05, 12 December 2023
- Computer Aided Verification 2010-04-20 Paper Verification: Theory and Practice 2010-03-23 Paper Correct Hardware Design and Verification Methods 2010-02-05...10 bytes (20 words) - 06:27, 9 December 2023
- equivalence checking via concolic verification 2023-10-30 Paper BDD-Based Symbolic Model Checking 2018-07-20 Paper SMT-based model checking for recursive programs...10 bytes (16 words) - 20:14, 9 December 2023
- program repair using formal verification techniques 2023-08-10 Paper Modular verification of concurrent programs via sequential model checking 2023-07-28 Paper...10 bytes (17 words) - 00:32, 10 December 2023
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS 2021-10-27 Paper A compositional approach to the verification of hybrid systems...10 bytes (16 words) - 01:18, 12 December 2023
- 2007-05-02 Paper Verification, Model Checking, and Abstract Interpretation 2007-02-12 Paper Data structures for symbolic multi-valued model-checking 2007-01-24...10 bytes (16 words) - 03:58, 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
- Paper Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams 2007-07-25 Paper mcmas: A Model Checker for Multi-agent...10 bytes (16 words) - 11:34, 12 December 2023
- Counter-example guided program verification 2020-01-03 Paper https://portal.mardi4nfdi.de/entity/Q5240148 2019-10-24 Paper Stateless Model Checking for TSO and PSO...10 bytes (18 words) - 02:05, 9 December 2023
- Correct Hardware Design and Verification Methods 2010-02-05 Paper New Challenges in Model Checking 2008-07-15 Paper Extending Model Checking with Dynamic Analysis...10 bytes (16 words) - 00:11, 12 December 2023
- automata 2010-11-11 Paper Computer Aided Verification 2010-04-20 Paper Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols 2008-04-11 Paper...10 bytes (16 words) - 02:05, 9 December 2023
- Publication Date of Publication Type Computer Aided Verification 2010-04-20 Paper Model checking with strong fairness 2006-09-28 Paper Bridging the gap...10 bytes (16 words) - 07:50, 9 December 2023
- Understanding IC3 2013-08-12 Paper SAT-Based Model Checking without Unrolling 2011-02-15 Paper Verification Constraint Problems with Strengthening 2008-09-11...10 bytes (18 words) - 02:03, 7 October 2023
- Simulink/Stateflow verification 2017-05-10 Paper Towards Quantum Programs Verification: From Quipper Circuits to QPMC 2016-08-10 Paper Bayesian statistical model checking...10 bytes (16 words) - 21:13, 22 September 2023
- refinement in bounded model checking 2018-12-07 Paper Modeling for Verification 2018-07-20 Paper Theory refinement for program verification 2017-11-15 Paper...10 bytes (17 words) - 03:39, 25 September 2023
- Formal Methods for Hardware Verification 2007-05-02 Paper Computer Aided Verification 2006-01-10 Paper Computer Aided Verification 2006-01-10 Paper Tools and...10 bytes (16 words) - 03:21, 7 October 2023
- Publication Type Runtime verification of contracts with Themulus 2021-07-08 Paper A survey of challenges for runtime verification from advanced application...10 bytes (18 words) - 22:21, 24 September 2023
- Regulatory Networks 2008-11-20 Paper Model Checking Software 2007-09-28 Paper Model Checking Software 2007-09-28 Paper Model Checking Software 2007-05-02 Paper...10 bytes (16 words) - 08:19, 7 October 2023
