Login / Signup
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