A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines
Work
Year: 2020
Type: article
Abstract: We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is... more
Source: Journal of Automated Reasoning
Institutions Max Planck Institute for Software Systems, University of Illinois Urbana-Champaign, Amazon (United States)
Cites: 69
Cited by: 5
Related to: 10
FWCI: 0.341
Citation percentile (by year/subfield): 74.66
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,890