LTL-specification for development and verification of control programs

DOI10.18255/1818-1015-2023-4-308-339OpenAlexW4389560024MaRDI QIDQ6144780

Unnamed Author, E. V. Kuzmin

Publication date: 29 January 2024

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

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

zbMATH Keywords

model checkingcontrol softwarecomplete transition systemdeclarative LTL-specificationimperative LTL-specificationMinsky counter machinenuXmv verifierPLC programpseudo-complete transition systemST language

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Handbook of Model Checking
• LTL-Specification of Bounded Counter Machines
• LTL-Specification of Counter Machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: LTL-specification for development and verification of control programs