Counter-based Abstraction for Symbolic Execution
| TRTÍK, Marek. Counter-based Abstraction for Symbolic Execution. In YRF@MFCSL 2010. 2010. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Counter-based Abstraction for Symbolic Execution |
| Name (in English) | Counter-based Abstraction for Symbolic Execution |
| Authors | TRTÍK, Marek. |
| Edition | YRF@MFCSL 2010, 2010. |
| Other information | |
|---|---|
| Type of outcome | Conference abstract |
| Confidentiality degree | is not subject to a state or trade secret |
| Organization unit | Faculty of Informatics |
| Tags | Reviewed |
| Changed by | Changed by: Mgr. Marek Trtík, Ph.D., učo 329313. Changed: 16/9/2011 16:11. |
| Links | |
|---|---|
| MUNI/A/0914/2009, interní kód MU | Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Acronym: SV-FI MAV) |
| Investor: Masaryk University, Category A | |
PrintDisplayed: 2/5/2024 02:56