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
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
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"
}
Nahoru