Searching for "Automated deduction for verification." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Automated Deductive Verification of Parallel Systems
- …Automated Deductive Verification of Parallel Systems Hassen Saidi VERIMAG Centre Equation, 2…
- Add To MetaCart
-
The Invariant Checker: Automated Deductive Verification of Reactive Systems
- …The Invariant Checker: Automated Deductive Verification of Reactive Systems Hassen Saidi saidi…
- Cited by 5 (2 self) – Add To MetaCart
-
Union-Find and Congruence Closure Algorithms that Produce Proofs
- … deduction and verification, where it is frequently required to recover the set of merge operations…
- Cited by 2 (0 self) – Add To MetaCart
-
An Overview of Deductive Verification Technology
- … of the use of automated theorem proving technology in formal deductive verification: ffl What is deductive…
- Add To MetaCart
-
Vx86: x86 assembler simulated in C powered by automated theorem proving
- … analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves…
- Cited by 3 (2 self) – Add To MetaCart
-
Automatic Verification of Parameterized Systems
- … of automating deductive verification. ¯We tackled the problem of automatic verification of liveness properties…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
