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" }