FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

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

Disclaimer | Powered by EasyChair Smart Program