Requirement Patterns in Deductive Verification of poST Programs

Process-oriented programming is one of the approaches used to develop control software. A process-oriented program is defined as a sequence of processes. Each process is represented by a set of named states containing a program code that define the logic of the process’ behavior. Program execution i...

Full description

Bibliographic Details

Published in:	Automatic control and computer sciences Vol. 58; no. 7; pp. 1003 - 1024
Main Authors:	Chernenko, I. M., Anureev, I. S., Garanina, N. O.
Format:	Journal Article
Language:	English
Published:	Moscow Pleiades Publishing 01.12.2024 Springer Nature B.V
Subjects:	Computer Science Control Structures and Microprogramming Control systems Hands Language Logic Predicate logic Variables Verification process-oriented programming requirement patterns control software deductive verification temporal requirements
ISSN:	0146-4116, 1558-108X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!