Login / Signup
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.
Carlos E. Budde
Arnd Hartmanns
Michaela Klauck
Jan Kretínský
David Parker
Tim Quatmann
Andrea Turrini
Zhen Zhang
Published in:
ISoLA (4) (2020)
Keyphrases
</>
high precision
quantitative and qualitative
high recall
precision and recall
qualitative and quantitative
model checking
formal methods
real time
image processing
evolutionary algorithm
face detection
face verification
signature verification
functional verification