Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques.

Dirk Beyer

Browse the full ISoLA paper archive.