Verification State-Space Reduction through Restricted Parsing Environments.
Jacob I. Torrey, Mark P. Bridgman
VenueA*SP
Year2015
ProceedingsIEEE Symposium on Security and Privacy Workshops
DBLP recordconf/sp/TorreyB15 ↗
Browse the full SP paper archive.