VARF: Verifying and Analyzing Robustness of Random Forests

von Nie, Chaoqun
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

ParaMoC: A Parallel Model Checker for Pushdown Systems

von Wei, Hansheng
Veröffentlicht in ICA3PP (19. : 2019 : Melbourne) Algorithms and architectures for parallel processing ; Part 2 (2020)