Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms
Process-oriented programming is an approach to developing control software in which a program is defined as a set of interacting processes. PoST is a process-oriented language, which is an extension of the ST language from the IEC 61131-3 standard. In the field of control software development, forma...
Wedi'i Gadw mewn:
| Prif Awduron: | , |
|---|---|
| Fformat: | Artigo |
| Iaith: | Inglês |
| Cyhoeddwyd: |
Yaroslavl State University
2024-12-01
|
| Cyfres: | Моделирование и анализ информационных систем |
| Pynciau: | |
| Mynediad Ar-lein: | https://www.mais-journal.ru/jour/article/view/1896 |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|