21 results on '"Rogalewicz, Adam"'
Search Results
2. Reasoning About Regular Properties: A Comparative Study
3. SL-COMP: Competition of Solvers for Separation Logic
4. From Shapes to Amortized Complexity
5. Perun: Performance Version System
6. Counterexample Validation and Interpolation-Based Refinement for Forest Automata
7. Forester: From Heap Shapes to Automata Predicates
8. Run Forester, Run Backwards!
9. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
10. Forester: Shape Analysis Using Tree Automata
11. Deciding Entailments in Inductive Separation Logic with Tree Automata
12. Fully Automated Shape Analysis Based on Forest Automata
13. The Tree Width of Separation Logic with Recursive Definitions
14. Forest Automata for Verification of Heap Manipulation
15. Automata-Based Termination Proofs
16. Abstraction refinement and antichains for trace inclusion of infinite state systems
17. Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
18. Proving Termination of Tree Manipulating Programs
19. Forest automata for verification of heap manipulation
20. Abstract regular (tree) model checking
21. Abstract Regular Tree Model Checking
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.