Publication detail

Formal specification and verification of already composed systems

ŠČUGLÍK, F.

Original Title

Formal specification and verification of already composed systems

English Title

Formal specification and verification of already composed systems

Type

conference paper

Language

en

Original 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.

English 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.

Keywords

CSP, system, application, Formal specification, Formal language

Released

25.04.2002

Publisher

Faculty of Electrical Engineering and Communication BUT

Location

Brno

ISBN

80-214-2116-9

Book

Proceedings of 8th Conference STUDENT EEICT 2002

Pages from

511

Pages to

515

Pages count

5

Documents

BibTex


@inproceedings{BUT10018,
  author="František {Ščuglík}",
  title="Formal specification and verification of already composed systems",
  annote="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.",
  address="Faculty of Electrical Engineering and Communication BUT",
  booktitle="Proceedings of 8th Conference STUDENT EEICT 2002",
  chapter="10018",
  institution="Faculty of Electrical Engineering and Communication BUT",
  year="2002",
  month="april",
  pages="511--515",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  type="conference paper"
}