| 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 |
| A Two-Phase Approach for Conditional Floating-Point Verification
|
2021 |
Lohar, Debasmita |
| Directed Reachability for Infinite-State Systems
|
2021 |
Blondin, Michael |
| Making Theory Reasoning Simpler
|
2021 |
Reger, Giles |
| SyReNN: A Tool for Analyzing Deep Neural Networks
|
2021 |
Sotoudeh, Matthew |
| HLola: A Very Functional Tool for Extensible Stream Runtime Verification
|
2021 |
Gorostiaga, Felipe |
| AMulet 2.0 for Verifying Multiplier Circuits
|
2021 |
Kaufmann, Daniela |
| MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
|
2021 |
Scott, Joseph |
| dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
|
2021 |
Ashok, Pranav |
| RTLola on Board: Testing Real Driving Emissions on your Phone
|
2021 |
Biewer, Sebastian |
| Replicating RESTART with Prolonged Retrials: An Experimental Report
|
2021 |
Budde, Carlos E. |
| Momba: JANI Meets Python
|
2021 |
Köhl, Maximilian A. |
| JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)
|
2021 |
Mues, Malte |
| 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 |
Tag hinzufügen