FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
Abstract State Machines
alloy
ASMETA
automated theorem proving
C
code generation
D
deductive verification
design by contract
domain-specific formal languages
F
flattener
Formal Methods
H
HCI
Hierarchical state machines
I
Integrated Development Environment
Interactive system
interactive theorem proving
Interface design
Intermediate Language for Verification
Invariants
Isabelle/jEdit
J
Jupyter
K
KeY
L
Literate programming
N
Notebooks
O
OpenJDK
P
Probabilistic model checking
R
refactoring
requirements analysis
requirements based testing
S
SPARK2014 and Critical Ada Software
T
text documents
theorem proving
Type Inhabitation
Type-based Development
U
universal IDE
Usability
W
WCET analysis