Counterexample-guided equivalence checking
No Thumbnail Available
Files
Date
2023-02-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
IIT Delhi
Abstract
Description
Keywords
Correlation algorithm, Counter algorithm, Sifer algorithm, Translation validator, Invariant inference grammar