Theoretical Computer Science – 183 www.elsevier.com locate tcs Modular veriﬁcation of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2 - Theoretical computer science - Document - PDFSEARCH.IO

First Page	Meta Content
	Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular veriﬁcation of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2 Add to Reading List Document Date: 2018-08-12 09:38:32 Open Document File Size: 329,95 KB Share Result on Facebook

Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular veriﬁcation of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2Add to Reading List