current_mast_b - Silicon Valley University - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-10-08 01:14:29 Information Networking Institute Carnegie Mellon School of Computer Science Engineering and Public Policy Carnegie Mellon Silicon Valley Edmund M. Clarke H. T. Kung Carnegie Mellon University Government Pradeep Khosla		current_mast_b&w_spr07 Add to Reading List Source URL: www.ece.cmu.edu Download Document from Source Website File Size: 4,15 MB 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