Detail akce

Seminář VeriFIT - Jens Katalaan: Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic

17. února 2017

Místo konání

A218, CZ

Pořadatel

Ústav inteligentních systémů FIT VUT v Brně

Typ

seminář

Přístupnost

volná

Popis

Představení článku Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic (od Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger)