Searching for "Theorem Proving for Verification." – sorted by Relevance.
45 documents found, showing 1 through 10.
Next 10 →
-
Theorem Proving for Verification
- …Theorem Proving for Verification ? John Rushby Computer Science Laboratory SRI International 333…
- Cited by 7 (0 self) – Add To MetaCart
-
Machine-Assisted Verification Using Theorem Proving and Model Checking
- …Machine-Assisted Verification Using Theorem Proving and Model Checking To Appear in Mathematical…
- Cited by 9 (0 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
-
Some Mathematical Case Studies in ProofPower-HOL
- … in higher order logics as well as related topics in theorem proving and verification. There were 42 papers…
- Add To MetaCart
-
Modular detection of feature interactions through theorem proving: A case study
- …-based, and is not well-suited for verifying recursive data structures, an area where theorem-proving verification tools…
- Cited by 1 (1 self) – Add To MetaCart
-
A Mathematically Precise Two-Level Formal Hardware Verification Methodology
- … the correctness of designs. There are several approaches to formal hardware verification: theorem-proving, state…
- Cited by 3 (1 self) – Add To MetaCart
-
Integrating LTL Model Checking with Automated Theorem Proving
- …) 859-5272 Fax: +1 (415) 859-2844 Abstract Theorem proving is a general-purpose verification technique…
- Add To MetaCart
-
Efficient First-Order Semantic Deduction Techniques
- … provers. Theorem proving also has applications in artificial intelligence and formal verification. As a…
- Add To MetaCart
-
Formal Verification of Concurrent Programs Based on Type Theory
- … to the application of interactive theorem proving to verification is presented in section 1.3. 1.2 Model…
- Cited by 3 (0 self) – Add To MetaCart
-
Theorem Proving with the Real Numbers
- …Theorem Proving with the Real Numbers John Robert Harrison Churchill College A dissertation…
- Cited by 59 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
