You are currently browsing the Videotorium site of the organization Governmental Information-Technology Development Agency. The content of the search results and listing pages of the site (Main page, Categories, Channels, Live events) are limited to this organization. In case you wish to browse the whole archive of Videotorium, please, navigate back to the main Videotorium site.

Model checking, theorem proving, and abstract interpretation - The convergence of formal verification technologies

672

Model checking, theorem proving, and abstract interpretation - The convergence of formal verification technologies



Channels
Grand Challenges of Informatics, Verified software
Categories
Software development
Contributors
Thomas Henzinger (author)
Recording length
41:21
Date of recording
19 September, 2006
Uploaded by
Videotorium admin
Date of uploading
23 June, 2010
Number of views
672
Embed
<iframe width="480" height="385" src="//kifu.videotorium.hu/en/embed/1677" frameborder="0" allowfullscreen="allowfullscreen"></iframe>

Related recordings