Login / Signup

Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip.

Abderahman KriouileWendelin Serwe
Published in: TACAS (2015)
Keyphrases
  • formal model
  • security properties
  • formal models
  • verification method
  • security patterns
  • low cost
  • probabilistic knowledge