Runtime verification of LTL on lossy traces.

Yogi Joshi Guy Martin Tchamgoue Sebastian Fischmeister

Published in: SAC (2017)

Keyphrases

model checking
bounded model checking
linear time temporal logic
temporal logic
formal verification

linear temporal logic
verification method
data compression
model checker
formal specification

asynchronous circuits
formal methods
concurrent systems
real time

transition systems
modal logic
wavelet compression
multi agent systems