Login / Signup
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.
David Owen
Tim Menzies
Mats Per Erik Heimdahl
Jimin Gao
Published in:
SEW (2003)
Keyphrases
</>
prior knowledge
probabilistic model
computationally efficient
statistical models
complex systems
model checking
memory usage
memory space