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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Automatic control and computer sciences Jg. 58; H. 7; S. 1003 - 1024
Hauptverfasser:	Chernenko, I. M., Anureev, I. S., Garanina, N. O.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Moscow Pleiades Publishing 01.12.2024 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!