Hledat
Zobrazují se záznamy 1-2 z 2
Soothsharp: A C#-to-Viper translator
Soothsharp: překladač C# do jazyka Viper
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Viper is a verification infrastructure developed at ETH Zurich. Using this infrastructure, programs written in the Viper language may be analyzed for correctness with respect to assertions and contracts. In this thesis, ...
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci ...
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci ...
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Code Assertions Verification Using Backward Symbolic Execution
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2017
Datum obhajoby: 06. 02. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft ...
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the ...
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the ...