SMT 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C D F I K L M N P Q S T V

A
abstract DPLL	raSAT: SMT for Polynomial Inequality (PDF, talk)
affine arithmetic	raSAT: SMT for Polynomial Inequality (PDF, talk)
Array programs	Decision Procedures for Flat Array Properties (PDF, talk)
Arrays	Weakly Equivalent Arrays (PDF, talk)
C
channel capacity	Speeding Up SMT-Based Quantitative Program Analysis (PDF, talk)
Constraint Programming	Protocol Log Analysis with Constraint Programming (PDF, talk)
D
decision procedure	Weakly Equivalent Arrays (PDF, talk)
decision procedures	Decision Procedures for Flat Array Properties (PDF, talk)
F
first-order logic	Reasoning About Set Comprehensions (PDF, talk)
I
integer programming	Leveraging Linear and Mixed Integer Programming for SMT (PDF, talk)
interval arithmetic	raSAT: SMT for Polynomial Inequality (PDF, talk)
K
KLEE	Multi-solver Support in Symbolic Execution (PDF, talk)
L
lambda expressions	Extending SMT-LIB v2 with Lambda-Terms and Polymorphism (PDF, talk)
linear arithmetic	Leveraging Linear and Mixed Integer Programming for SMT (PDF, talk)
linear real problems	Towards Conflict-Driven Learning for Virtual Substitution (PDF, talk)
M
model counting	Speeding Up SMT-Based Quantitative Program Analysis (PDF, talk)
models	Better Answers to Real Questions (PDF, talk)
monomorphization	Extending SMT-LIB v2 with Lambda-Terms and Polymorphism (PDF, talk)
N
non-linear real arithmetic	Better Answers to Real Questions (PDF, talk)
P
parallel portfolio solver	Multi-solver Support in Symbolic Execution (PDF, talk)
performance evaluation	Multi-solver Support in Symbolic Execution (PDF, talk)
polymorphism	Extending SMT-LIB v2 with Lambda-Terms and Polymorphism (PDF, talk)
polynomial constraints	raSAT: SMT for Polynomial Inequality (PDF, talk)
Q
quantifier elimination	Towards Conflict-Driven Learning for Virtual Substitution (PDF, talk)
quantifier-free	Weakly Equivalent Arrays (PDF, talk)
Quantifiers	Decision Procedures for Flat Array Properties (PDF, talk)
quantitative information flow	Speeding Up SMT-Based Quantitative Program Analysis (PDF, talk)
S
Set Comprehension	Reasoning About Set Comprehensions (PDF, talk)
Set Theory	Reasoning About Set Comprehensions (PDF, talk)
simplex	Leveraging Linear and Mixed Integer Programming for SMT (PDF, talk)
SMT	Reasoning About Set Comprehensions (PDF, talk) Weakly Equivalent Arrays (PDF, talk) Leveraging Linear and Mixed Integer Programming for SMT (PDF, talk) raSAT: SMT for Polynomial Inequality (PDF, talk)
SMT solving	Multi-solver Support in Symbolic Execution (PDF, talk) Towards Conflict-Driven Learning for Virtual Substitution (PDF, talk)
SMT-LIB	Extending SMT-LIB v2 with Lambda-Terms and Polymorphism (PDF, talk)
symbolic execution	Multi-solver Support in Symbolic Execution (PDF, talk)
T
telecommunication protocol	Protocol Log Analysis with Constraint Programming (PDF, talk)
testing	Protocol Log Analysis with Constraint Programming (PDF, talk) raSAT: SMT for Polynomial Inequality (PDF, talk)
Theory of arrays	Decision Procedures for Flat Array Properties (PDF, talk)
typing	Extending SMT-LIB v2 with Lambda-Terms and Polymorphism (PDF, talk)
V
veriT	Extending SMT-LIB v2 with Lambda-Terms and Polymorphism (PDF, talk)
virtual substitution	Better Answers to Real Questions (PDF, talk)