Yakir Vizel
From MaRDI portal
Person:746770
Available identifiers
zbMath Open vizel.yakirMaRDI QIDQ746770
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Property directed self composition | 2024-02-16 | Paper |
| Interpolating strong induction | 2024-02-16 | Paper |
| Quantifiers on demand | 2023-07-28 | Paper |
| Lazy self-composition for security verification | 2023-05-05 | Paper |
| Efficient Information-Flow Verification Under Speculative Execution | 2020-07-20 | Paper |
| Fast interpolating BMC | 2018-03-01 | Paper |
| IC3 - Flipping the E in ICE | 2017-02-21 | Paper |
| Efficient generation of small interpolants in CNF | 2015-10-20 | Paper |
| Efficient Generation of Small Interpolants in CNF | 2013-11-26 | Paper |
| Intertwined Forward-Backward Reachability Analysis Using Interpolants | 2013-08-05 | Paper |
Research outcomes over time
This page was built for person: Yakir Vizel
