LTL-Specification of Counter Machines

DOI10.18255/1818-1015-2021-1-104-119OpenAlexW3139358735MaRDI QIDQ5870848

E. V. Kuzmin

Publication date: 24 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais738

zbMATH Keywords

linear temporal logicnonclassical logiccounter machinesLTL-specification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Classical models of computation (Turing machines, etc.) (68Q04)

Related Items (2)

LTL-specification for development and verification of control programs ⋮ LTL-Specification of Bounded Counter Machines

Cites Work

• Boundedness problems for Minsky counter machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: LTL-Specification of Counter Machines