Conference paper

ŠČUGLÍK František. Formal specification and verification of already composed systems. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002, pp. 511-515. ISBN 80-214-2116-9.
Publication language:english
Original title:Formal specification and verification of already composed systems
Title (cs):Formální specifikace a verifikace zkompletovaných systémů
Pages:511-515
Proceedings:Proceedings of 8th Conference STUDENT EEICT 2002
Conference:ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2002
Place:Brno, CZ
Year:2002
ISBN:80-214-2116-9
Publisher:Faculty of Electrical Engineering and Communication BUT
Keywords
CSP, system, application, Formal specification, Formal language
Annotation
We already know many methods for formal specification of systems. But we are not able to proof already composed systems and find errors in them. This paper is an approach to this methodology.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6925}
}

Your IPv4 address: 54.166.150.10
Switch to IPv6 connection

DNSSEC [dnssec]