FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
assumptions refinement	Heuristic-Based GR(1) Assumptions Refinement (PDF, talk)
C
Consistency Checking	Consistency Checking of Functional Requirements (PDF, talk)
controller synthesis	Heuristic-Based GR(1) Assumptions Refinement (PDF, talk)
F
formal verification	Formal verification of neural networks (PDF, talk)
G
generalized reactivity	Heuristic-Based GR(1) Assumptions Refinement (PDF, talk)
H
heuristic search	Heuristic-Based GR(1) Assumptions Refinement (PDF, talk)
I
Inconsistent Requirements Explanation	Consistency Checking of Functional Requirements (PDF, talk)
L
Linear Temporal Logic	Consistency Checking of Functional Requirements (PDF, talk)
M
MPI	Analysis and Verification of Message Passing based Parallel Programs (PDF, talk)
N
neural network	Formal verification of neural networks (PDF, talk)
O
optimization	Formal verification of neural networks (PDF, talk)
P
Program Verification	Analysis and Verification of Message Passing based Parallel Programs (PDF, talk)
Property Specification Patterns	Consistency Checking of Functional Requirements (PDF, talk)
R
Requirements Engineering	Consistency Checking of Functional Requirements (PDF, talk)
S
Symbolic Analysis	Analysis and Verification of Message Passing based Parallel Programs (PDF, talk)
V
Vacuity Checking	Consistency Checking of Functional Requirements (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program