Starší verze

Zde jsou starší verze daného dokumentu. Pro návrat ke starší verzi si ji zvolte ze seznamu níže, stiskněte tlačítko Upravit stránku a uložte ji.

2020/04/12 16:56 mgr-szz:in-tei:16-tei (upraveno mimo DokuWiki) (aktuální)
2013/06/12 20:06 mgr-szz:in-tei:16-tei – SMT tomvej
2013/06/12 19:53 mgr-szz:in-tei:16-tei – Ověřování ekvivalence. tomvej
2013/06/12 17:38 mgr-szz:in-tei:16-tei – Testování přesunuto na konec (ať nikdo nezačíná formální verifikaci testováním). tomvej
2013/06/12 17:35 mgr-szz:in-tei:16-tei – Testování přesunuto na konec (ať nikdo nezačíná formální verifikaci testováním). tomvej
2013/06/12 17:21 mgr-szz:in-tei:16-tei – Testování tomvej
2013/06/12 16:24 mgr-szz:in-tei:16-tei – Automated whitebox fuzz testing tomvej
2013/06/12 16:17 mgr-szz:in-tei:16-tei – Symbolická exekuce 8. tomvej
2013/06/12 16:11 mgr-szz:in-tei:16-tei – Symbolická exekuce 7. tomvej
2013/06/12 15:58 mgr-szz:in-tei:16-tei – Symbolická exekuce 6. tomvej
2013/06/12 15:50 mgr-szz:in-tei:16-tei tomvej
2013/06/12 15:49 mgr-szz:in-tei:16-tei – Symbolická exekuce 5. tomvej
2013/06/12 15:42 mgr-szz:in-tei:16-tei – Symbolická exekuce 4. tomvej
2013/06/12 15:35 mgr-szz:in-tei:16-tei – Symbolická exekuce 3. tomvej
2013/06/12 15:14 mgr-szz:in-tei:16-tei – Symbolická exekuce 2. tomvej
2013/06/12 14:52 mgr-szz:in-tei:16-tei – Abstraktní interpretace formálně. tomvej
2013/06/12 14:37 mgr-szz:in-tei:16-tei – Symbolická exekuce 1. tomvej
2013/06/11 21:08 mgr-szz:in-tei:16-tei – Abstraktní interpretace 11. tomvej
2013/06/11 20:59 mgr-szz:in-tei:16-tei – Abstraktní interpretace 10. tomvej
2013/06/11 20:57 mgr-szz:in-tei:16-tei – Abstraktní interpretace 9. tomvej
2013/06/11 20:49 mgr-szz:in-tei:16-tei – Abstraktní interpretace 8. tomvej

mgr-szz/in-tei/16-tei.txt · Poslední úprava: 2020/04/12 16:56 (upraveno mimo DokuWiki)

Nahoru