Towards Verified Scalable Parallel Computing with Coq and Spark.

Frdric Loulergue, Jolan Philippe

Browse the full FTfJP paper archive.