Towards the formal verification of cache coherency at the architectural level.

Freek Verbeek Julien Schmaltz

Published in: ACM Trans. Design Autom. Electr. Syst. (2012)

Keyphrases

formal verification
model checking
bounded model checking
model checker
automated verification
software architecture
symbolic model checking
functional verification
expert systems
first order logic
data access
program slicing