MetaVal: Witness Validation via Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53291-8_10 ◽

2020 ◽

pp. 165-177 ◽

Author(s):

Dirk Beyer ◽

Martin Spiessl

Download Full-text