The following pages link to Georg Weissenbacher (Q286730):
Displaying 12 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Abstraction and mining of traces to explain concurrency bugs (Q681463) (← links)
- Language inclusion for finite prime event structures (Q784145) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- A separation logic with data: small models and automation (Q1799106) (← links)
- Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free (Q2058383) (← links)
- Error invariants for concurrent traces (Q2281644) (← links)
- Multi-linear strategy extraction for QBF expansion proofs via local soundness (Q2661367) (← links)
- Interpolant Strength Revisited (Q2843336) (← links)
- Advanced SAT Techniques for Abstract Argumentation (Q2851963) (← links)
- Dynamic Reductions for Model Checking Concurrent Software (Q2961569) (← links)
- Mutation-Based Test Case Generation for Simulink Models (Q3066126) (← links)
