Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B C D F H I L M P Q S T W

A
Abstract Interpretation	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
access control	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
authentication	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
authorization	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
B
backward symbolic execution	Handling Heap Data Structures in Backward Symbolic Execution
C
certification	Leveraging Highly Automated Theorem Proving for Certication
D
DevOps	Boost the Impact of Continuous Formal Verification in Industry
F
Farkas lemma	fkcc: the Farkas Calculator
Fixpoint Algorithms	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
formal verification	Leveraging Highly Automated Theorem Proving for Certication
H
heap data structures	Handling Heap Data Structures in Backward Symbolic Execution
high automation	Leveraging Highly Automated Theorem Proving for Certication
I
Incremental Analysis	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
input heap	Handling Heap Data Structures in Backward Symbolic Execution
L
Logic Programming	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
M
memory models	PrideMM: Second Order Model Checking for Memory Consistency Models
Model Checking	PrideMM: Second Order Model Checking for Memory Consistency Models Boost the Impact of Continuous Formal Verification in Industry
Modular Analysis	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
P
Program Analysis	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
Q
quantified boolean formulas	PrideMM: Second Order Model Checking for Memory Consistency Models
S
Scheduling	fkcc: the Farkas Calculator
Scripting tool	fkcc: the Farkas Calculator
second order logic	PrideMM: Second Order Model Checking for Memory Consistency Models
security	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
Software Verification	Boost the Impact of Continuous Formal Verification in Industry
static analysis	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
T
Termination	fkcc: the Farkas Calculator
theorem proving	Leveraging Highly Automated Theorem Proving for Certication
theory of arrays	Handling Heap Data Structures in Backward Symbolic Execution
W
weakest precondition	Handling Heap Data Structures in Backward Symbolic Execution
web systems	AuthCheck: Program-state Analysis for Access-control Vulnerabilities