Mining Hyperproperties using Temporal Logics.

Ezio Bartocci Cristinel Mateis Eleonora Nesterini Dejan Nickovic

Published in: ACM Trans. Embed. Comput. Syst. (2023)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
satisfiability problem
predicate logic
linear temporal logic
verification method
frequent patterns
knowledge discovery
pattern mining
pattern discovery
transition systems
petri net
data mining
formal verification
epistemic logic