Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

formalni verifikace

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 21 theses)
Formalní verifikace RISC-V procesoru s využitím Questa PropCheck
 (Adrián Javor)

2020, Diplomová práce, Vysoké učení technické v Brně

• http://theses.cz/id//bt5s0u// | Elektrotechnika, elektronika, komunikační a řídicí technika / | Theses on a related topic

List of theses with an identical keyword.

Modelování a verifikace platebního systému
 (Marharyta Zhuk)

2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/vyf09/ | Informatika / Informační systémy | Theses on a related topic

Verifikace MPI programů pomocí DIVINE
 (Marek Tomáštík)

2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/bu4gt/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Modelování stateflow diagramů pro účely verifikace
 (Pavla Kratochvílová)

2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/r1zte/ | Informatika / Matematická informatika | Theses on a related topic

Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných
 (Peter Kovalič)

2016, Bakalářská práce, Vysoké učení technické v Brně

• http://theses.cz/id//gqde5g// | Informační technologie / | Theses on a related topic

Překladač jazyka VHDL pro potřeby formální verifikace
 (Jiří Matyáš)

2016, Bakalářská práce, Vysoké učení technické v Brně

• http://theses.cz/id//udweu5// | Informační technologie / | Theses on a related topic

Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
 (Tomáš AUSBERGER)

2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | Theses on a related topic

Akcelerace procesu verifikace pomocí grafické karty
 (Tomáš Lamr)

2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/lx49p/ | Aplikovaná informatika / | Theses on a related topic

Integrace formálních technik do procesu verifikace procesoru RISC-V
 (Jakub Horký)

2020, Bakalářská práce, Vysoké učení technické v Brně

• http://theses.cz/id//06zjam// | Informační technologie / | Theses on a related topic

Verifikace ASIP založena na formálních tvrzeních
 (Jakub Šulek)

2020, Diplomová práce, Vysoké učení technické v Brně

• http://theses.cz/id//vm2enu// | Informační technologie / | Theses on a related topic

« 1 2 3 » (total: 21 theses)