Login / Signup

Formal Verification of Descriptions with Distinct Order of Memory Operations.

Gerd RitterHolger HinrichsenHans Eveking
Published in: ASIAN (1999)
Keyphrases
  • formal verification
  • model checking
  • markov decision processes
  • database
  • orders of magnitude
  • memory requirements