HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems.

Lukás Charvát Ales Smrcka Tomás Vojnar

Published in: MEMICS (2016)

Keyphrases

formal verification
computer systems
automated verification
statistical analysis
model checking
data analysis
safety analysis
artificial intelligence
information systems
open source
high speed
safety critical