LTL-specification for development and verification of control programs

DOI10.18255/1818-1015-2023-4-308-339MaRDI QIDQ6144780zbMATH OpenOpenAlexFDO

Authors E. V. Kuzmin

Publication date 29 January 2024

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/mais806

zbMATH Keywords

complete transition systemcontrol softwaredeclarative LTL-specificationimperative LTL-specificationMinsky counter machinemodel checkingnuXmv 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
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 6783107 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• scientific article; zbMATH DE number 3390672 (Why is no real title available?)
• LTL-specification of bounded counter machines
• LTL-Specification of Counter Machines

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

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