Angelic Verification

swMATH21477MaRDI QIDQ33284FDOQ33284

Author name not available (Why is that?)

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
• Wireless protocol validation under uncertainty
• SPECjvm2008
• SPEC Benchmarks

This page was built for software: Angelic Verification