Detail publikace
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.
Název česky
Příprava pro model checking založený na symbolickém provádění
Typ
technická zpráva
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
URL
Rok
2004
Strany
28
Vydavatel
Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis
Místo
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" }