| Local Search with a SAT Oracle for Combinatorial Optimization
|
2021 |
Cohen, Aviad |
| Deductive Stability Proofs for Ordinary Differential Equations
|
2021 |
Tan, Yong Kiam |
| Deductive Verification of Floating-Point Java Programs in KeY
|
2021 |
Abbasi, Rosa |
| Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
|
2021 |
Nishida, Yuki |
| CPALockator: Thread-Modular Analysis with Projections: (Competition Contribution)
|
2021 |
Andrianov, Pavel |
| Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)
|
2021 |
Ádám, Zsófia |
| Towards String Support in JayHorn (Competition Contribution)
|
2021 |
Shamakhi, Ali |
| Symbolic Coloured SCC Decomposition
|
2021 |
Beneš, Nikola |
| Syntax-Guided Quantifier Instantiation
|
2021 |
Niemetz, Aina |
| Certifying Proofs in the First-Order Theory of Rewriting
|
2021 |
Mitterwallner, Fabian |
| cake_lpr: Verified Propagation Redundancy Checking in CakeML
|
2021 |
Tan, Yong Kiam |
| Software Verification: 10th Comparative Evaluation (SV-COMP 2021)
|
2021 |
Beyer, Dirk |
| Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)
|
2021 |
Ponce-de-León, Hernán |
| GOBLINT: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints: (Competition Contribution)
|
2021 |
Saan, Simmo |
| VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)
|
2021 |
Darke, Priyanka |
| Bridging Arrays and ADTs in Recursive Proofs
|
2021 |
Fedyukovich, Grigory |
| Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
|
2021 |
Lepiller, Julien |
| An SMT-Based Approach for Verifying Binarized Neural Networks
|
2021 |
Amir, Guy |
| A Web Interface for Petri Nets with Transits and Petri Games
|
2021 |
Gieseking, Manuel |
| Symbiotic 8: Beyond Symbolic Execution: (Competition Contribution)
|
2021 |
Chalupa, Marek |
Tag hinzufügen