×

MTL and TPTL for one-counter machines. Expressiveness, model checking, and satisfiability. (English) Zbl 1433.68215

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
03B25 Decidability of theories and sets of sentences
03B44 Temporal logic
PDFBibTeX XMLCite
Full Text: DOI