Login / Signup

A Framework for Formal Verification of DRAM Controllers.

Lukas SteinerChirag SudarshanMatthias JungDominik StoffelNorbert Wehn
Published in: MEMSYS (2022)
Keyphrases
  • formal verification
  • main contribution
  • model checking
  • database systems
  • fuzzy sets