Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Formální Verifikace"'
Autor:
Blicha, Martin
In recent years, automated formal verification of software has progressed from a few research labs into large-scale applications, such as cloud infrastructure and smart contracts. Formal verification techniques based on model checking provide the nec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::d2369de1ac279a4b7b732b89246b62e0
http://www.nusl.cz/ntk/nusl-522045
http://www.nusl.cz/ntk/nusl-522045
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
Autor:
Ťulák, Jan
Tato práce popisuje průběh refaktoringu programu mkfs.xfs za účelem zpřehlednění jeho kódu a vyčištění technického dluhu naakumulovaného za dvacet let existence tohoto programu, a následně jeho statickou analýzu. Použité nástroje
Externí odkaz:
http://www.nusl.cz/ntk/nusl-363735
Autor:
Henzl, Martin
Tato práce analyzuje hrozby pro protokoly využívající bezkontaktní čipové karty a představuje metodu pro poloautomatické hledání zranitelností v takových protokolech pomocí model checkingu. Návrh a implementace bezpečných aplikací
Externí odkaz:
http://www.nusl.cz/ntk/nusl-261229
Autor:
Surovič, Marek
Tato práce se zabývá metodami pro behaviorální detekci malware, které využívají techniky formální analýzy a verifikace. Základem je odvozování stromových automatů z grafů závislostí systémových volání, které jsou získány po
Externí odkaz:
http://www.nusl.cz/ntk/nusl-255427
Autor:
Hruška, Martin
In this work, we focus on improving the forest automata based shape analysis implemented in the Forester tool. This approach represents shapes of the heap using forest automata. Forest automata are based on tree automata and Forester currently has on
Externí odkaz:
http://www.nusl.cz/ntk/nusl-234895
Autor:
Lengál, Ondřej
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístup
Externí odkaz:
http://www.nusl.cz/ntk/nusl-261279
Autor:
Fiedor, Tomáš
Různé typy logik se často používají jako prostředky pro formální specifikaci systémů. Slabá monadická logika druhého řádu s k následníky (WSkS) je jednou z nich a byť má poměrně velkou vyjadřovací sílu, stále je rozhodnuteln
Externí odkaz:
http://www.nusl.cz/ntk/nusl-236065
Autor:
Jakeš, Libor
This master’s thesis deals with programming of control system for an automatic assembly line rear seats of passenger cars. The theoretical part describes assembly line, PLC, robot, electric nutrunner and intelligent camera Sick. Practical part of t
Externí odkaz:
http://www.nusl.cz/ntk/nusl-220708