Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems.

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

Published in: EUROCAST (2015)

Keyphrases

formal verification
model checking
symbolic model checking
safety analysis
distributed systems
intelligent systems
statistical analysis
automated verification
data analysis
management system
knowledge based systems
retrieval systems