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...
I tiakina i:
| Ngā kaituhi matua: | , |
|---|---|
| Hōputu: | Artigo |
| Reo: | Inglês |
| I whakaputaina: |
Yaroslavl State University
2024-12-01
|
| Rangatū: | Моделирование и анализ информационных систем |
| Ngā marau: | |
| Urunga tuihono: | https://www.mais-journal.ru/jour/article/view/1896 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|