17 results on '"Padon A"'
Search Results
2. Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
3. mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic
4. Clover: Closed-Loop Verifiable Code Generation
5. Analysis of Urban Sprawl and Growth Pattern Using Geospatial Technologies in Megacity, Bangkok, Thailand
6. Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
7. Land Use and Transport Integration to Promote Pedestrian Accessibility in the Proximity of Mass Transit Stations
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
17. Creating Communities : Towards a Description of the Mask-function in Literature
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.