[removed]CURRICULUM VITAE

First Page		Document Content
Date: 2013-07-26 13:48:43 Computer science Edmund M. Clarke Carnegie Mellon School of Computer Science Randal Bryant Turing Award Formal verification Allen Newell Model checking Carnegie Mellon Silicon Valley Turing Award laureates Carnegie Mellon University Science		[removed]CURRICULUM VITAE Add to Reading List Source URL: www.cs.cmu.edu Download Document from Source Website File Size: 226,43 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