Zobrazeno 1 - 3
of 3
pro vyhledávání: '"verifikace softwaru"'
Autor:
Žárský, Jan
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violatio
Externí odkaz:
http://www.nusl.cz/ntk/nusl-445489
Autor:
Mačišák, Lukáš
This Master's Thesis describes methods of software certification and development of airborne systems, focusing on software testing and verification during project's life cycle. Thesis includes also designed software verification plan for concrete app
Externí odkaz:
http://www.nusl.cz/ntk/nusl-236942