Detail publikace

Formal specification and verification of already composed systems

ŠČUGLÍK, F. Formal specification and verification of already composed systems. Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002. p. 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
anglicky
Autoři
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Klíčová slova

CSP, system, application, Formal specification, Formal language

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
ISBN
80-214-2116-9
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
BibTeX 
@inproceedings{BUT10018,
  author="František {Ščuglík}",
  title="Formal specification and verification of already composed systems",
  booktitle="Proceedings of 8th Conference STUDENT EEICT 2002",
  year="2002",
  pages="511--515",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2116-9"
}
Nahoru