共 124 条
- [1] Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2021, 2021, 12652 : 433 - 437
- [2] VeriAbs : Verification by Abstraction and Test Generation [J]. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 1138 - 1141
- [3] EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, 2023, 13994 : 541 - 546
- [5] Andrianov P, 2021, LECT NOTES COMPUT SC, V12652, P423, DOI 10.1007/978-3-030-72013-1_25
- [6] CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II, 2017, 10206 : 355 - 359
- [7] Ayaziova P., 2024, P SPIN SPRING
- [8] WITCH 3: Validation of Violation Witnesses in the Witness Format 2.0. (Competition Contribution) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, TACAS 2024, 2024, 14572 : 341 - 346
- [9] SYMBIOTIC-WITCH 2: More Efficient Algorithm and Witness Refutation? (Competition Contribution) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, 2023, 13994 : 523 - 528
- [10] CPACHECKER 2.3 with Strategy Selection (Competition Contribution) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, TACAS 2024, 2024, 14572 : 359 - 364