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 Computer Aided Verification | 2024-02-16 | Paper |
| Interpolating strong induction Computer Aided Verification | 2024-02-16 | Paper |
| Quantifiers on demand Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
| Lazy self-composition for security verification Computer Aided Verification | 2023-05-05 | Paper |
| Efficient Information-Flow Verification Under Speculative Execution Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
| Fast interpolating BMC | 2018-03-01 | Paper |
| IC3 -- flipping the E in ICE Lecture Notes in Computer Science | 2017-02-21 | Paper |
| Efficient generation of small interpolants in CNF Formal Methods in System Design | 2015-10-20 | Paper |
| Efficient Generation of Small Interpolants in CNF Computer Aided Verification | 2013-11-26 | Paper |
| Intertwined forward-backward reachability analysis using interpolants Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Research outcomes over time
This page was built for person: Yakir Vizel
