Profile cover photo
Profile photo
Dirk Beyer
106 followers
106 followers
About
Dirk's posts

SV-COMP 2017 -- Report on the Competition on Software Verification is out: https://goo.gl/W7phOi

Post has attachment
SV-COMP 2017 category Overall won by Ultimate Automizer, followed by SMACK, followed by CPAchecker. Congratulations! https://sv-comp.sosy-lab.org/2017/results/results-verified/ Quantile Plot:

Post has attachment
CBMC is by far the best bug finder in SV-COMP's category Falsification.
https://sv-comp.sosy-lab.org/2017/results/results-verified/ Quantile Plot:

Post has attachment
SV-COMP: SMACK wins category SoftwareSystems, followed by Ultimate. https://sv-comp.sosy-lab.org/2017/results/results-verified/ Quantile Plot:

Post has attachment
SV-COMP'17: Category Termination won by Ultimate Automizer. Congrats! Silver is AProVE and bronze is CPAchecker-Seq. https://sv-comp.sosy-lab.org/2017/results/results-verified/ Quantile-Plot:

Post has attachment
SV-COMP'17: SMACK won another category: Overflows. Congratulations! Silver and Bronze to Ultimate. https://sv-comp.sosy-lab.org/2017/results/results-verified/

Post has attachment
SV-COMP: Concurrency won by YogarCBMC, followed by Lazy CSeq. Congratulation! Quantile Plot: https://sv-comp.sosy-lab.org/2017/results/results-verified/quantilePlot-ConcurrencySafety.svg

Post has attachment
SV-COMP: MemorySafety won by Predator. Silver to Ultimate Automizer, Bronze to Symbiotic. Congratulation! Quantile plot: https://sv-comp.sosy-lab.org/2017/results/results-verified/quantilePlot-MemSafety.svg

Category ReachSafety won by SMACK. Congrats! Silver is CPAchecker.

Post has attachment
Wait while more posts are being loaded