Property Directed Polyhedral Abstraction
Abstract elided by the publisher.
Related papers
- Polyhedral AST Generation Is More Than Scanning Polyhedra TOPLAS 2015
- Optimizing memory usage in the polyhedral model TOPLAS 2000
- The Z-polyhedral model PPoPP 2007
- Property Directed Abstract Interpretation VMCAI 2016
- Property Directed Equivalence via Abstract Simulation CAV 2016
- Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction CAV 2014
- An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection SAS 2019
- Scalable Polyhedral Verification of Recurrent Neural Networks CAV 2021