LTL-Specification of Bounded Counter Machines

DOI10.18255/1818-1015-2022-1-44-59zbMath1497.68313OpenAlexW4221102775MaRDI QIDQ5866317

E. V. Kuzmin

Publication date: 21 September 2022

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

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

zbMATH Keywords

linear temporal logicnonclassical logiccounter machinesLTL-specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Classical models of computation (Turing machines, etc.) (68Q04)

Related Items (1)

LTL-specification for development and verification of control programs

Cites Work

• LTL-Specification of Counter Machines
• Boundedness problems for Minsky counter machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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