ATVA 2018: INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
TALK KEYWORD INDEX

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

A
Analysis of Probabilistic Systems
arbiter protocols
Arrays
artificial pancreas falsification
automata
autonomous vehicles
B
Barrier Certificates
Bisimilarity Distances
Bisimulation
Boogie
Boolean algebra
bounded synthesis
Brittleness Exposure
C
Concurrent and multi-agent systems
Concurrent programs
Continuous time
control
Control under delay
Convex Optimization
Convex Polyhedra
convolution
counter automata
coverage
D
decision procedure
Deep Neural Networks
Differential Privacy
Discrete-Time Stochastic Systems
E
Efficient algorithmic synthesis
Ethereum
EVM bytecode
explanation
F
finite-memory automata
fixed point
Formal Verification
G
games
GSMPs
H
Hybrid Systems
hyperltl
hyperproperties
I
IC3
Infeasibility analysis
infinite words
Intermediate Verification Language
K
Kantorovich Metric
L
Labelled Markov Chains
Linear Real Arithmetic
linear temporal logic
LLVM
LTL
M
manoeuvre automata
Markov chains
Markov Decision Process
martingale
maximum realizability
MaxSAT
Minimal unsatisfiable cores
Minimal unsatisfiable subsets
model checking
model counting
modular verification
motion planning
motion primitives
MTL
Mutation Testing
N
Nash equilibria
neural networks and automated driving
O
omega-automata
P
Parameter Synthesis
parameterized systems
Parametric exploration
parametric models
Parity games
Partial exploration
path checking
Presburger arithmetic with Divisibility
probabilistic program
probabilistic programming
Probabilistic verification
program synthesis
Program Verification
proof search
proof system
Q
quantified boolean formulas
Quantified Generalization
Quantifiers
quantitative information flow
R
Rare events
reachability
reachability analysis
reactive synthesis
reactive systems
reduction
register automata
register transducers
resource analysis
Robustness Testing
round-bounded verification
rule-based representation
Rust
S
Safety games
semi-decisionprocedure
sensitivity
simulation
Simulation based reductions
smart contracts
SMT
Sources of inconsistency
State Classification Problem
Statistical analyses
Statistical Model Checking
Stochastic systems
string equations with length constraints
symbolic analysis
symbolic automata
symbolic execution
Symbolic Representation
Symbolic State-Space Exploration
synthesis
Synthesis and verification
T
temporal logic
Temporal reasoning
testing complex systems
theorem proving
Time bounded reachability
Time-Bounded Reachability
Tool
two-way automata
U
universal automata
Unsatisfiability analysis
V
Verification