Finite vs. Infinite Traces in Temporal Logics.

Alessandro Artale Andrea Mazzullo Ana Ozaki

Published in: OVERLAY (2020)

Keyphrases

mazurkiewicz traces
temporal logic
finite sets
linear temporal logic
model checking
satisfiability problem
modal logic
real numbers
concurrent systems
finite dimensional
verification method
knowledge base
logic programs
transition systems
computation tree logic
finitely representable