Dr. Ing. Petr Peringer
| 2010 | An Easy to Use Infrastructure for Building Static Analysis Tools, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš |
| | Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš |
| 2007 | Simulation Library SIMLIB, version 3, software, 2007
Authors: Peringer Petr, Martinek David |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)