Computing Invariants with Transformers: Experimental Scalability and Accuracy
Work
Year: 2014
Type: article
Abstract: Using abstract interpretation, invariants are usually obtained by solving iteratively a system of equations linking preconditions according to program statements. However, it is also possible to abstr... more
Institution Centre de Recherche en Informatique
Cites: 28
Cited by: 6
Related to: 10
FWCI: 0.626
Citation percentile (by year/subfield): 63.4
Subfield: Electrical and Electronic Engineering
Field: Engineering
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: gold