Zobrazeno 1 - 2
of 2
pro vyhledávání: '"abstraktní regulární model checking"'
Autor:
Kotoun, Michal
Mnoho aplikací přijímá, odesílá a zpracovává data v textové podobě. Správné a bezpečné zpracování těchto dat je typicky zajištěno tzv. ošetřením řetězců (string sanitization). Pomocí metod formální verifikace je možné an
Externí odkaz:
http://www.nusl.cz/ntk/nusl-433553
Autor:
Chalk, Matěj
Formal verification methods offer a large potential to provide automated software correctness checking (based on sound mathematical roots), which is of vital importance. One such technique is abstract regular model checking, which encodes sets of rea
Externí odkaz:
http://www.nusl.cz/ntk/nusl-385924