Login / Signup
Formal Verification of Descriptions with Distinct Order of Memory Operations.
Gerd Ritter
Holger Hinrichsen
Hans Eveking
Published in:
ASIAN (1999)
Keyphrases
</>
formal verification
model checking
markov decision processes
database
orders of magnitude
memory requirements