Ústav inteligentních systémů
|
| Hlavní řešitel: | Kuncak Viktor |
|---|
| Spoluřešitelé: | Vojnar Tomáš |
|---|
| Další řešitelé: | Češka Milan, Dudka Kamil, Fiedor Jan, Gach Marek, Holík Lukáš, Hýsek Jiří, Konečný Filip, Křena Bohuslav, Letko Zdeněk, Peringer Petr, Rogalewicz Adam, Smrčka Aleš, Šimáček Jiří |
|---|
| Agentura: | COST |
| Kód: | IC0901 |
| Začátek: | 2009 |
| Konec: | 2013 |
| Klíčová slova: | formal modelling, formal verification, decision procedures, synthesis
|
|---|
| Anotace: |
|---|
| Projekt se zaměřuje na vývoj bohatého modelovacího jazyka a s ním spojené infrastruktury pro formální verifikaci a syntézu, přispívající k vývoji spolehlivých počítačových systémů. |
Produkty
|
Publikace
| 2012 | Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Ur Shmuel, Vojnar Tomáš: Testování vícevláknových aplikací pomocí genetických algoritmů, In: Lecture Notes in Computer Science, roč. 2012, č. 7515, DE, s. 152-167, ISSN 0302-9743 |
| | Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: Analysis and Testing of Concurrent Programs, Brno, CZ, FIT VUT, 2012, s. 136, ISBN 978-80-214-4464-5 |
| | Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software, In: Lecture Notes in Computer Science, roč. 2012, č. 7186, DE, s. 177-192, ISSN 0302-9743 |
| | Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: Noise Injection Heuristics for Concurrency Testing, In: Lecture Notes in Computer Science, roč. 2012, č. 7119, DE, s. 123-131, ISSN 0302-9743 |
| 2011 | Dudka Kamil, Peringer Petr, Vojnar Tomáš: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, In: Lecture Notes in Computer Science, roč. 2011, č. 6806, DE, s. 372-378, ISSN 0302-9743 |
| | Dudka Kamil, Peringer Petr, Vojnar Tomáš: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, FIT-TR-2011-02, Brno, CZ, FIT VUT, 2011, s. 23 |
| | Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš: Forest Automata for Verification of Heap Manipulation, In: Lecture Notes in Computer Science, roč. 2011, č. 6806, DE, s. 424-440, ISSN 0302-9743 |
| | Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš: Forest Automata for Verification of Heap Manipulation, FIT-TR-2011-01, Brno, CZ, FIT VUT, 2011, s. 30 |
| 2010 | Abdulla Parosh A., Clemente Lorenzo, Holík Lukáš, Hong Chih-Duo, Chen Yu-Fang, Mayr Richard, Vojnar Tomáš: Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing, In: Computer Aided Verification, Berlín, DE, Springer, 2010, s. 132-147, ISBN 978-3-642-14294-9 |
| | Abdulla Parosh A., Holík Lukáš, Chen Yu-Fang, Mayr Richard, Vojnar Tomáš: When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata), In: Tools and Algorithms for the Construction and Analysis of Systems, Berlín, DE, Springer, 2010, s. 158-174, ISBN 978-3-642-12001-5 |
|
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)