DEP: New form of WP without partitioning - Githubissues

tracer-x / TracerX

TracerX Symbolic Virtual Machine

https://tracer-x.github.io/

Other

31 stars 11 forks source link

DEP: New form of WP without partitioning #385

Open rasoolmaghareh opened 1 year ago

rasoolmaghareh commented 1 year ago

We have found that some over-subsumption in some of the programs