EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).

Mathias Weber Annette Bieniusa Arnd Poetzsch-Heffter

Published in: FORTE (2017)

Keyphrases

temporal logic
model checking
complex systems
satisfiability problem
dynamic constraints
linear temporal logic
modal logic
reactive systems
artificial intelligence
distributed systems
expert systems
orders of magnitude
integrity constraints
qualitative and quantitative
concurrent systems