Publication detail

Selected Methods of Specification and Verification of Industriall Application

BUREŠ, F.

Original Title

Selected Methods of Specification and Verification of Industriall Application

Type

conference paper

Language

English

Original Abstract

This paper presents some formal methods for specification and verification of industrial applications (for example embedded systems) and applying those methods in frame of system design. One goal of this work is founding the major formal methods and representation potential users of such methods.

Keywords

formal methods, model checking, theorem proving

Authors

BUREŠ, F.

Released

24. 4. 2003

Publisher

Faculty of Electrical Engineering and Communication BUT

Location

Brno

ISBN

80-214-2379-X

Book

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Pages from

614

Pages to

618

Pages count

5

BibTex

@inproceedings{BUT13996,
  author="František {Bureš}",
  title="Selected Methods of Specification and Verification of Industriall Application",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="614--618",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2379-X"
}