Search results
From MaRDI portal
- 2022-07-07 Paper Formal verification of cP systems using Coq 2022-07-07 Paper A sublinear Sudoku solution in cP systems and its formal verification 2021-09-20...10 bytes (16 words) - 16:24, 6 October 2023
- Automated Verification of Parallel Nested DFS 2022-10-13 Paper Automated verification of the parallel Bellman-Ford algorithm 2022-06-17 Paper Formal verification...10 bytes (16 words) - 15:28, 9 December 2023
- 2011-05-23 Paper FORMAL VERIFICATION OF P SYSTEMS USING SPIN 2011-02-23 Paper An Integrated Approach to P Systems Formal Verification 2011-01-21 Paper...10 bytes (16 words) - 19:19, 6 October 2023
- and HOL4 2011-06-03 Paper Scalable Techniques for Formal Verification 2010-03-10 Paper Formal Verification for High-Assurance Behavioral Synthesis 2009-12-01...10 bytes (17 words) - 17:04, 6 October 2023
- 2017-05-16 Paper Formal Verification of Stochastic Max-Plus-Linear Systems 2017-05-03 Paper Dynamic Bayesian networks for formal verification of structured...10 bytes (20 words) - 11:59, 7 October 2023
- Optical Systems 2017-08-18 Paper Formal Reliability Analysis Using Theorem Proving 2017-07-27 Paper Formal verification of stability and chaos in periodic...10 bytes (16 words) - 20:10, 6 October 2023
- 2022-09-28 Paper A framework for formal dynamic dependability analysis using HOL theorem proving 2021-01-20 Paper Formal verification of robotic cell injection...10 bytes (16 words) - 20:10, 6 October 2023
- temporal verification diagrams 2017-01-19 Paper Non-linear loop invariant generation using Gröbner bases 2015-11-11 Paper Computer Aided Verification 2010-04-20...10 bytes (18 words) - 00:45, 13 December 2023
- 2018-11-13 Paper On the verification of architectural reconfigurations 2018-05-15 Paper Parametrized verification diagrams: temporal verification of symmetric parametrized...10 bytes (18 words) - 22:06, 9 December 2023
- Paper Formal verification of out-of-order execution with incremental flushing 2002-07-08 Paper Parallelizing the \(\text{Mur}\varphi\) verifier 2001-09-09...10 bytes (18 words) - 04:40, 9 December 2023
- 2006-11-01 Paper Theorem Proving in Higher Order Logics 2006-07-06 Paper Formal verification of a generic framework to synthesize SAT-provers 2006-01-16 Paper...10 bytes (20 words) - 00:42, 12 December 2023
- Paper Formal Methods for Components and Objects 2010-02-09 Paper Formal Methods for Components and Objects 2010-02-09 Paper Automating Verification of Cooperation...10 bytes (16 words) - 06:28, 9 December 2023
- Correct Hardware Design and Verification Methods 2010-02-05 Paper Efficient SAT-based bounded model checking for software verification 2008-10-07 Paper Deciding...10 bytes (18 words) - 22:25, 11 December 2023
- software verification with states, events, and deadlocks 2006-10-25 Paper Computer Aided Verification 2006-01-10 Paper Computer Aided Verification 2006-01-10...10 bytes (16 words) - 20:14, 9 December 2023
- Publication Type Verification: Theory and Practice 2010-03-23 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Verifying time partitioning...10 bytes (17 words) - 06:53, 9 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5473462 2006-06-22 Paper Formal verification of a generic framework to synthesize SAT-provers 2006-01-16 Paper...10 bytes (18 words) - 20:54, 11 December 2023
- Between Formal and Informal Design of Embedded Systems 2017-04-04 Paper Formal Verification of Simulink/Stateflow Diagrams 2016-01-08 Paper Formal Modelling...10 bytes (17 words) - 13:34, 11 December 2023
- Publication Date of Publication Type Formal verification of termination criteria for first-order recursive functions 2024-02-06 Paper Eliminating unstable...10 bytes (19 words) - 06:09, 9 December 2023
- 2007-05-02 Paper Formal Modeling and Analysis of Timed Systems 2006-11-14 Paper Formal Methods for Components and Objects 2006-11-01 Paper Formal Methods for...10 bytes (16 words) - 09:58, 8 December 2023
- Actor Systems 2012-09-25 Paper Automated Verification of Recursive Programs with Pointers 2012-09-05 Paper Verification of object-oriented programs: a transformational...10 bytes (20 words) - 16:50, 9 December 2023
