Detail publikace

Formal specification and verification of already composed systems

ŠČUGLÍK František. Formal specification and verification of already composed systems. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2002, s. 511-515. ISBN 80-214-2116-9.
Název česky
Formální specifikace a verifikace zkompletovaných systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Abstrakt

Je známo množství metod jak formálně specifikovat a verifikovat systémy. Přesto nejsme schopni verifikovat již zkompletované systémy a odhalit tak případné chyby. Tato práce se zabývá takovou technikou.

Rok
2002
Strany
511-515
Sborník
Proceedings of 8th Conference STUDENT EEICT 2002
Konference
ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2002, Brno, CZ
ISBN
80-214-2116-9
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6925,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Formal specification and verification of already composed systems",
   pages = "511--515",
   booktitle = "Proceedings of 8th Conference STUDENT EEICT 2002",
   year = 2002,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2116-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6925"
}
Nahoru