LTL-Specification of Counter Machines

DOI10.18255/1818-1015-2021-1-104-119MaRDI QIDQ5870848zbMATH OpenOpenAlexFDO

Authors E. V. Kuzmin

Publication date 24 January 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

counter machineslinear temporal logicLTL-specificationnonclassical logic

Mathematics Subject Classification ID

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

Cites work

• An introduction to non-classical logic. From if to is
• Boundedness problems for Minsky counter machines
• scientific article; zbMATH DE number 3651705 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)

Cited in

(2)

• LTL-specification of bounded counter machines
• LTL-specification for development and verification of control programs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5870848)