Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors.

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

Published in: MTV (2014)

Keyphrases

formal verification
safety analysis
management system
data analysis
symbolic model checking
artificial intelligence
statistical analysis
data mining
high level
distributed systems
model checking
formal methods
automated verification