Angelic Verification

MaRDI QIDQ33284swMATHFDO

Official website https://rd.springer.com/chapter/10.1007%2F978-3-319-21690-4_19

Cited in

(4)

• Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
• SPECjvm2008
• SPEC Benchmarks
• Wireless protocol validation under uncertainty

This page was built for software: Angelic Verification