Accelerating invariant generation
Acceleration is a technique for summarising loops by computing a closed-form representation of the loop behaviour. The closed form can be turned into an accelerator, which is a code snippet that skips over intermediate states of the loop to the end of the loop in a single step. Program analysers rel...
Үндсэн зохиолчид: | Madhukar, K, Wachter, B, Kroening, D, Lewis, M, Srivas, M |
---|---|
Бусад зохиолчид: | Kaivola, R |
Формат: | Conference item |
Хэвлэсэн: |
IEEE
2016
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Danger invariants
-н: David, C, зэрэг
Хэвлэсэн: (2016) -
Equivalence checking using trace partitioning
-н: Mukherjee, R, зэрэг
Хэвлэсэн: (2015) -
Curvature Invariants for the Accelerating Natário Warp Drive
-н: Brandon Mattingly, зэрэг
Хэвлэсэн: (2020-09-01) -
Safety verification and refutation by k-invariants and k-induction
-н: Brain, M, зэрэг
Хэвлэсэн: (2015) -
Termination analysis with compositional transition invariants
-н: Kroening, D, зэрэг
Хэвлэсэн: (2010)