Zpět na vyhledávání

Bc. Milan Malota

Master's thesis

PRISM model checker as an Eclipse-plugin

PRISM model checker as an Eclipse-plugin
Abstract:
PRISM je nástroj sloužící k automatizovanému testování pravděpodobnostních modelů, je používám v nejrůznějších oblastech praxe a je velmi dobře znám mezi odbornou veřejností zabývající se modelováním a analyzováním systému s pravděpodobnostním nebo náhodným chováním. Grafické rozhraní tohoto nástroje bylo vyvinuto v počátečních stádiích životního cyklu, od té doby udělaly technologie obrovský pokrok …more
Abstract:
PRISM is a probabilistic model checker and is used in many different application domains and is well known among scientists dealing with formal modeling and analysis of systems that exhibit random or probabilistic behavior. PRISM's GUI was developed in the beginning of the PRISM life cycle and technologies made great progress. That is why the request for a new GUI was pronounced. One of the platforms …more
 

Keywords

PRISM Eclipse RCP Eclipse e4 AWT Swing SWT JFace Albireo
 
Language used: English
Date on which the thesis was submitted / produced: 11. 1. 2016
Identifier: https://is.muni.cz/th/xzh12/

Thesis defence

  • Date of defence: 19. 2. 2016
  • Supervisor: RNDr. Vojtěch Řehák, Ph.D.
  • Reader: RNDr. Vojtěch Forejt, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.