Detail publikace
Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016). Electronic Proceedings in Theoretical Computer Science, roč. 2016. Brno: Fakulta informatiky MU, 2016, s. 87-93. ISBN 978-80-210-8362-2. ISSN 2075-2180. Dostupné z: http://eptcs.web.cse.unsw.edu.au/paper.cgi?MEMICS2016.9
Název česky
Hades: analýza hazardů v mikroprocesorech s využitím formální verifikace parametrických systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Charvát Lukáš, Ing. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt
Hades je nástroj pro automatickou verifikaci mikroprocesorů s linkou zřetězení, který se zaměřuje na odhalování různých hazardů v takových procesorech. Hades kombinuje různé techniky analýzy a verifikace, jako jsou analýza toku dat, vyhledávání chybových vzorů, řešení SMT problémů či abstraktní regulární model checking.
Rok
2016
Strany
87-93
Časopis
Electronic Proceedings in Theoretical Computer Science, roč. 2016, č. 233, ISSN 2075-2180
Sborník
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)
Řada
Electronic Proceedings in Theoretical Computer Science
Konference
MEMICS'16 - 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, CZ
ISBN
978-80-210-8362-2
Vydavatel
Fakulta informatiky MU
Místo
Brno, CZ
DOI
UT WoS
000390333200010
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11312, author = "Luk\'{a}\v{s} Charv\'{a}t and Ale\v{s} Smr\v{c}ka and Tom\'{a}\v{s} Vojnar", title = "Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems", pages = "87--93", booktitle = "Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)", series = "Electronic Proceedings in Theoretical Computer Science", journal = "Electronic Proceedings in Theoretical Computer Science", volume = 2016, number = 233, year = 2016, location = "Brno, CZ", publisher = "Faculty of Informatics MU", ISBN = "978-80-210-8362-2", ISSN = "2075-2180", doi = "10.4204/EPTCS.233.9", language = "english", url = "https://www.fit.vut.cz/research/publication/11312" }