Collaborative Verification of Uninterpreted Programs

von Du, Yide
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

Trace Abstraction-Based Verification for Uninterpreted Programs

von Hong, Weijiang
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations

von Yu, Hengbiao
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)