Publication Details

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.

Czech title

Formální specifikace a verifikace zkompletovaných systémů

Type

conference paper

Language

English

Authors

Ščuglík František, Ing., Ph.D. (CM-SFE)

Keywords

CSP, system, application, Formal specification, Formal language

Abstract

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.

Published

2002

Pages

511–515

Proceedings

Proceedings of 8th Conference STUDENT EEICT 2002

ISBN

80-214-2116-9

Publisher

Faculty of Electrical Engineering and Communication BUT

Place

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