| Reflections on Termination of Linear Loops
|
2021 |
Zhu, Shaowei |
| Interpolation and Model Checking for Nonlinear Arithmetic
|
2021 |
Jovanović, Dejan |
| Counting Minimal Unsatisfiable Subsets
|
2021 |
Bendik, Jaroslav |
| Progress in Certifying Hardware Model Checking Results
|
2021 |
Yu, Emily |
| Runtime Monitors for Markov Decision Processes
|
2021 |
Junges, Sebastian |
| Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
|
2021 |
Constantinides, George |
| Enforcing Almost-Sure Reachability in POMDPs
|
2021 |
Junges, Sebastian |
| An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation
|
2021 |
Lee, Juneyoung |
| Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
|
2021 |
Mohan, Anshuman |
| Debugging Network Reachability with Blocked Paths
|
2021 |
Bayless, S. |
| Gillian, Part II: Real-World Verification for JavaScript and C
|
2021 |
Maksimović, Petar |
| Decision Tree Learning in CEGIS-Based Termination Analysis
|
2021 |
Kura, Satoshi |
| Ghost Signals: Verifying Termination of Busy Waiting
|
2021 |
Reinhard, Tobias |
| Efficient SMT-Based Analysis of Failure Propagation
|
2021 |
Bozzano, Marco |
| ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends
|
2021 |
Kremer, Gereon |
| An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
|
2021 |
Berzish, Murphy |
| Model-Checking Structured Context-Free Languages
|
2021 |
Chiari, Michele |
| Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
|
2021 |
Chen, Xiaohong |
| Automatic Generation and Validation of Instruction Encoders and Decoders
|
2021 |
Xu, Xiangzhe |
| Formally Validating a Practical Verification Condition Generator
|
2021 |
Parthasarathy, Gaurav |
Tag hinzufügen