Search

Your search keyword '"Padon A"' showing total 17 results

Search Constraints

Start Over You searched for: Author "Padon A" Remove constraint Author: "Padon A" Publication Type eBooks Remove constraint Publication Type: eBooks
17 results on '"Padon A"'

Search Results

4. Clover: Closed-Loop Verifiable Code Generation

6. Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion

8. Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

9. Ivy: A Multi-modal Verification Tool for Distributed Algorithms

10. Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics

11. Deductive Verification in Decidable Fragments with Ivy

12. Bounded Quantifier Instantiation for Checking Inductive Invariants

13. RATCOP: Relational Analysis Tool for Concurrent Programs

14. Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs

15. Conjunctive Abstract Interpretation Using Paramodulation

16. Property Directed Reachability for Proving Absence of Concurrent Modification Errors

Catalog

Books, media, physical & digital resources