a 2010

Counter-based Abstraction for Symbolic Execution

TRTÍK, Marek

Základní údaje

Originální název

Counter-based Abstraction for Symbolic Execution

Název anglicky

Counter-based Abstraction for Symbolic Execution

Autoři

Vydání

YRF@MFCSL 2010, 2010

Další údaje

Typ výsledku

Konferenční abstrakt

Utajení

není předmětem státního či obchodního tajemství

Organizační jednotka

Fakulta informatiky

Příznaky

Recenzováno
Změněno: 16. 9. 2011 16:11, Mgr. Marek Trtík, Ph.D.

Návaznosti

MUNI/A/0914/2009, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty