Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą
Šiame straipsnyje yra aprašomas tyrimas, kurio metu buvo formaliai verifikuojama adaptyvi kompiuterinė robotų sistema. Sistemos modelis buvo sukurtas ir formaliai verifikuojamas taikant statistinį modelių patikrinimo metodą naudojant UPPAAL SMC įrankį. Darbe yra siūloma apjungti du populiarius sist...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2023-05-01
|
| Series: | Vilnius University Open Series |
| Subjects: | |
| Online Access: | https://www.zurnalai.vu.lt/open-series/article/view/32215 |