Publication Details

Selected Methods of Specification and Verification of Industriall Application

BUREŠ František. Selected Methods of Specification and Verification of Industriall Application. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 614-618. ISBN 80-214-2379-X.

Czech title

Vybrané metody specifikace a verifikace průmyslových aplikací

Type

conference paper

Language

english

Authors

Bureš František, Ing. (DIFS FIT BUT)

Keywords

formal methods, model checking, theorem proving

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.

Published

2003

Pages

614-618

Proceedings

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Conference

ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2003, Brno, CZ

ISBN

80-214-2379-X

Publisher

Faculty of Electrical Engineering and Communication BUT

Place

Brno, CZ

BibTeX

@INPROCEEDINGS{FITPUB7205,
   author = "Franti\v{s}ek Bure\v{s}",
   title = "Selected Methods of Specification and Verification of Industriall Application",
   pages = "614--618",
   booktitle = "Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
   year = 2003,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2379-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7205"
}