Contact: Virginia Gold

First Page		Document Content
Date: 2014-11-13 11:00:53 Science Turing Award Alan Turing Association for Computing Machinery Charles P. Thacker Turing Computer scientist Alan Kay Edmund M. Clarke Turing Award laureates Computing Computer science		Contact: Virginia Gold Add to Reading List Source URL: amturing.acm.org Download Document from Source Website File Size: 41,30 KB Share Document on Facebook

	Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke DocID: 1xTX2 - View Document
	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de DocID: 1xTR5 - View Document
	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de DocID: 1v273 - View Document
	Floating-point Bugs in Embedded GNU C Library Soonho Kong Sicun Gao Edmund M. Clarke DocID: 1tv7W - View Document
	Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che DocID: 1t1QV - View Document