Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Daukševič, Daniel"'
Autor:
Daukševič, Daniel
Publikováno v:
Proceedings of the Conference "Lithuanian MSc Research in Informatics and ICT", Vilnius : Vilniaus universiteto leidykla, 2023, p. 15-25
Š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 SM
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2eb59ec8bb14cc370bf38d106f50e55d
https://doi.org/10.15388/lmitt.2023.2
https://doi.org/10.15388/lmitt.2023.2
Autor:
Daukševič, Daniel
Formal verification – demonstration of the correctness of an algorithm (computer program or system) in relation to a specification using formal mathematical methods. There are two methods of verification – model checking and theorem proving. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::01d097568e077df8f68469b9e670c42e
https://repository.vu.lt/VU:ELABAETD107117031&prefLang=en_US
https://repository.vu.lt/VU:ELABAETD107117031&prefLang=en_US
