Verifying Equivalence of Spark Programs.

Shelly Grossman Sara Cohen Shachar Itzhaky Noam Rinetzky Mooly Sagiv

Published in: CAV (2) (2017)

Keyphrases

model checking
real time
search engine
social networks
information technology
fixpoint