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

Celý popis

Podrobná bibliografie

Vydáno v:	Automatic control and computer sciences Ročník 58; číslo 7; s. 1003 - 1024
Hlavní autoři:	Chernenko, I. M., Anureev, I. S., Garanina, N. O.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.12.2024 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!