Monitoring Hyperproperties with Circuits.

Luca Aceto Antonis Achilleos Elli Anastasiadi Adrian Francalanza

Published in: FORTE (2022)

Keyphrases

monitoring system
real time
databases
delay insensitive
high speed
decision support
circuit design
condition monitoring
tunnel diode
high level synthesis
logic synthesis
quantum computing
asynchronous circuits
search algorithm
website
learning algorithm
data mining
data sets