FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
F-IDE F-IDE-18 PROCEEDINGS: KEYWORD INDEX
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