Automated theorem proving - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-08-30 16:16:40 Applied mathematics Logic Formal sciences Automated theorem proving Formal verification Model checking Concurrency Mathematical logic Semantics of programming languages Theoretical computer science Formal methods Logic in computer science		Add to Reading List Source URL: media.wiley.com Download Document from Source Website File Size: 74,91 KB Share Document on Facebook

	Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 DocID: 1xVYz - View Document
	C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell DocID: 1xVyg - View Document
	SDNRacer: Detecting Concurrency Violations in Software-Defined Networks DocID: 1xVts - View Document
	SDNRacer: Detecting Concurrency Violations in Software-Defined Networks DocID: 1xUY7 - View Document
	SDNRacer Concurrency Analysis for SDNs Ahmed El-Hassany Jeremie Miserez Pavol Bielik Laurent Vanbever DocID: 1xUyW - View Document