Forester: Shape Analysis Using Tree Automata - (Competition Contribution)
No abstract available.
Related papers
- Forester: From Heap Shapes to Automata Predicates - (Competition Contribution) TACAS 2017
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Run Forester, Run Backwards! - (Competition Contribution) TACAS 2016
- CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution) TACAS 2014
- Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution) TACAS 2014
- A New Approach for Active Automata Learning Based on Apartness TACAS 2022
- Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists SAS 2013
- Symbiotic 7: Integration of Predator and More - (Competition Contribution) TACAS 2020