Login / Signup

A Framework for Formal Verification of DRAM Controllers.

Lukas SteinerChirag SudarshanMatthias JungDominik StoffelNorbert Wehn
Published in: CoRR (2022)
Keyphrases
  • formal verification
  • model checking
  • main contribution
  • bounded model checking
  • probabilistic model
  • software engineering
  • model checker