Original title: Statistické ověřování modelů přibližných výpočetních systémů
Translated title: Statistical Model Checking of Approximate Computing Systems
Authors: Blažek, Michal ; Sekanina, Lukáš (referee) ; Strnadel, Josef (advisor)
Document type: Bachelor's theses
Year: 2024
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: approximate multipliers; approximation; formal verification; modelling; multipliers; Python; simulation; statistical model checking; stochastic timed automata; UPPAAL; aproximace; aproximační násobičky; formální verifikace; modelování; násobičky; Python; simulace; statistické ověřování modelů; stochastické časové automaty; UPPAAL

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: https://hdl.handle.net/11012/247809

Permalink: http://www.nusl.cz/ntk/nusl-619058


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses
 Record created 2024-06-22, last modified 2024-06-22


No fulltext
  • Export as DC, NUŠL, RIS
  • Share