VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
abstract interpretation	A Theorem Prover Backed Approach to Array Abstraction
automated verification	Loop Invariants by Mutation, Dynamic Validation, and Static Checking
B
benchmark	ALICe: A Framework to Improve Affine Loop Invariant Computation
D
deduction	A Theorem Prover Backed Approach to Array Abstraction
dynamic techniques	Loop Invariants by Mutation, Dynamic Validation, and Static Checking
L
loop invariant	ALICe: A Framework to Improve Affine Loop Invariant Computation
loop invariants	Loop Invariants by Mutation, Dynamic Validation, and Static Checking
M
model checking	ALICe: A Framework to Improve Affine Loop Invariant Computation
P
program analysis	ALICe: A Framework to Improve Affine Loop Invariant Computation
program verification	A Theorem Prover Backed Approach to Array Abstraction
S
static checking	Loop Invariants by Mutation, Dynamic Validation, and Static Checking
T
transformer	ALICe: A Framework to Improve Affine Loop Invariant Computation

Disclaimer | Powered by EasyChair Smart Program