Trace Diagnostics for Signal-based Temporal Properties.

Chaima Boufaied Claudio Menghi Domenico Bianculli Lionel C. Briand

Published in: CoRR (2022)

Keyphrases

temporal properties
model checking
possibility theory
signal processing
formal methods
frequency domain
high frequency
pattern recognition
rough set theory
neural network
high level
non stationary
incomplete information
temporal logic
black box