Computing invariants with transformers: experimental scalability and accuracy (Q281287): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: A Modular Static Analysis Approach to Affine Loop Invariants Detection / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Combining Widening and Acceleration in Linear Relation Analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Policy Iteration-Based Conditional Termination and Ranking Functions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: isl: An Integer Set Library for the Polyhedral Model / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4406681 / rank | |||
Normal rank | |||
Revision as of 22:18, 11 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing invariants with transformers: experimental scalability and accuracy |
scientific article |
Statements
Computing invariants with transformers: experimental scalability and accuracy (English)
0 references
10 May 2016
0 references
model checking
0 references
abstract interpretation
0 references
static program analysis
0 references
linear relation analysis
0 references
automatic invariant detection
0 references
loop invariant
0 references
transformer
0 references
benchmark
0 references
