Verifying equivalence of spark programs

Shelly Grossman*, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Scopus citations


Dive into the research topics of 'Verifying equivalence of spark programs'. Together they form a unique fingerprint.


Engineering & Materials Science