TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
B | |
BeepBeep | |
benchmarks | |
C | |
competition | |
complex event processing | |
cyber-physical system verification | |
D | |
data management plan | |
Declarative specifications | |
E | |
event stream processing | |
event-rate independence | |
F | |
Formal Specification Language | |
H | |
hardware verification | |
L | |
logic-based | |
M | |
Memory Debugger | |
metric dynamic logic | |
metric temporal logic | |
MFOTL | |
monitoring | |
O | |
online runtime verification | |
open data | |
over-tuning | |
P | |
position paper | |
R | |
run-time verification | |
Runtime Assertion Checking | |
runtime benchmarks | |
runtime verification | |
Runtime Verification Tool | |
S | |
Stream-based languages | |
system health management | |
T | |
temporal logic | |
tool competitions | |
tool paper | |
tools | |
trace format | |
trace-rate independence |