Verifying Parallel Code After Refactoring Using Equivalence CheckingMoria AbadiSharon Keidar-Barneret al.2018Int. J. Parallel Program
Combining symmetry reduction and under-approximation for symbolic model checkingSharon BarnerOrna Grumberg2005Formal Methods in System Design
Wolf - Bug hunter for concurrent software using formal methodsSharon BarnerZiv Glazberget al.2005CAV 2005
An algorithmic approach to design explorationSharon BarnerShoham Ben-Davidet al.2002Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
19 Aug 2019US10387655Method, System And Product For Using A Predictive Model To Predict If Inputs Reach A Vulnerability Of A Program