Publication Details

Preliminaries of Model Checking Based on Symbolic Execution

KŘENA Bohuslav. Preliminaries of Model Checking Based on Symbolic Execution. Miláno: Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis, 2004.

Czech title

Příprava pro model checking založený na symbolickém provádění

Type

technical report

Language

english

Authors

Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)

URL

http://www.lta.disco.unimib.it/doc/ei/pdf/lta.2004.04.pdf PDF

Published

2004

Pages

Publisher

Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis

Place

Miláno, IT

BibTeX

@TECHREPORT{FITPUB7537,
   author = "Bohuslav K\v{r}ena",
   title = "Preliminaries of Model Checking Based on Symbolic Execution",
   pages = 28,
   year = 2004,
   location = "Mil\'{a}no, IT",
   publisher = "Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7537"
}