Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Model Checking Flat Freeze LTL on One-Counter Automata

Antonia Lechner ; Richard Mayr ; Joël Ouaknine ; Amaury Pouly ; James Worrell.
Freeze LTL is a temporal logic with registers that is suitable for specifying properties of data words. In this paper we study the model checking problem for Freeze LTL on one-counter automata. This problem is known to be undecidable in general and PSPACE-complete for the special case of&nbsp;[&hellip;]
Published on December 7, 2018
Volume 14, Issue 4
  • < Previous
  • 1
  • Next >