FORMAL VERIFICATION OF DISTRIBUTED ALGORITHMS FOR STENCIL PROBLEMS THOMAS GRÉGOIRE Abstract. This paper is a technical report about a three month internship under the supervision of Professor Adam Chlipala at CSAIL1 , M - Formal verification - Document - PDFSEARCH.IO

First Page	Meta Content
	FORMAL VERIFICATION OF DISTRIBUTED ALGORITHMS FOR STENCIL PROBLEMS THOMAS GRÉGOIRE Abstract. This paper is a technical report about a three month internship under the supervision of Professor Adam Chlipala at CSAIL1 , M Add to Reading List Document Date: 2014-04-11 10:32:27 Open Document File Size: 384,97 KB Share Result on Facebook

FORMAL VERIFICATION OF DISTRIBUTED ALGORITHMS FOR STENCIL PROBLEMS THOMAS GRÉGOIRE Abstract. This paper is a technical report about a three month internship under the supervision of Professor Adam Chlipala at CSAIL1 , MAdd to Reading List