FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
AVOCS PRE-PROCEEDINGS: KEYWORD INDEX
Shortcuts: ABCDFIMNOPRSTVW
A
Active Objects
Android Applications
B
Backward exploration ยท
C
classical B
compositional analysis of software systems
Compositional verification
Condition Synchronization
Consistency Analysis
contract-based verification
Coq
critical software assurance
Critical Systems
Cyclic proofs
D
Deadlock Analysis
Dependency
F
Formal Methods
formal proof
formal verification
I
ic3
Inductive Definitions
infinite descent
Interlocking
Internet of Things
M
memory isolation
model checking
N
networks of synchronized automata
nuxmv
O
Ocra
P
protokernel
R
reachability analysis
Requirements Engineering
Rule-Based Programming
S
Security Management
separation logic
SMT Solver
software formal verification
Software-Defined Networking
symbolic behavioral semantics
T
Timed automata
V
Verification
W
weakest precondition