Searching for "Combinations of Model Checking and Theorem Proving." – sorted by Relevance.
52 documents found, showing 1 through 10.
Next 10 →
-
Combinations of model checking and theorem proving
- …Combinations of Model Checking and Theorem Proving ⋆ Tomás E. Uribe Computer Science Department…
- Cited by 10 (0 self) – Add To MetaCart
-
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
- …Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving Mark D…
- Cited by 32 (2 self) – Add To MetaCart
-
Formal verification of complex out-of-order pipelines by combining model-checking and theorem-proving
- …Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving…
- Cited by 10 (3 self) – Add To MetaCart
-
Verification-Aware Microprocessor Design
- … will refer to as SMV, for brevity) uses a combination of theorem proving and model checking. SMV requires…
- Cited by 1 (0 self) – Add To MetaCart
-
Extraction of Abstraction Invariants for Data Refinement
- … refinements are given, both of which have been fully verified using the proposed combination of model-checking…
- Cited by 1 (0 self) – Add To MetaCart
-
Mechanically Verified Abstractions to Finite State Systems - A Case Study of the Alternating Bit Protocol in Isabelle
- … of infinite state systems in the I/O automata model by combining model checking and theorem proving. The meta…
- Add To MetaCart
-
Verification of AMBA Using a Combination of Model Checking and Theorem
- …-power devices. We demonstrate the combined use of model checking and theorem proving to verify both control…
- Cited by 2 (0 self) – Add To MetaCart
-
Cv
- … to specific problem domains efficiently and systematically. Combining Model Checking and Theorem Proving…
- Add To MetaCart
-
High-Level Design and Validation of ATM Switch
- … of formal verification and simulation. We used a combination of theorem proving and model checking…
- Cited by 5 (0 self) – Add To MetaCart
-
Verifying Transaction Ordering Properties in Unbounded Bus Networks Through Combined Deductive
- … of PCI. ffl An illustration that a combination of model checking and theorem proving together…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
