Edmund M. Clarke - PDFSEARCH.IO - Document Search Engine

Edmund M. Clarke
Results: 28

#	Item
1	Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Mathematics Mathematical analysis Theoretical computer science Differential calculus Numerical analysis Ordinary differential equation Taylor's theorem Differential-algebraic system of equations Satisfiability modulo theories PROPT
2	δ-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 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity
3	δ-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 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-08-09 17:19:27 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity
4	Floating-point Bugs in Embedded GNU C Library Soonho Kong Sicun Gao Edmund M. Clarke Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu - Date: 2014-04-20 14:22:40
5	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 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2013-06-08 14:51:39
6	dReal: An SMT Solver for Nonlinear Theories over the Reals? Sicun Gao, Soonho Kong, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We describe the open-source tool dReal, an SMT solver fo Add to Reading List Source URL: www.cs.cmu.edu - Date: 2013-11-08 01:07:52
7	Statistical Model Checking for Markov Decision Processes David Henriques∗† , Jo˜ao G. Martins∗‡ , Paolo Zuliani∗ , Andr´e Platzer∗ , Edmund M. Clarke∗ ∗ Computer † SQIG Add to Reading List Source URL: symbolaris.com - Date: 2014-08-04 10:11:57
8	Contact: Virginia Goldacm Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Paris Kanellakis Award Academia Computing Moshe Y. Vardi ACM SIGACT Paris Kanellakis Pierre Wolper Edmund M. Clarke Brent Hailpern Computer science Year of birth missing Association for Computing Machinery
9	Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-04-10 06:06:57 University of Camerino Computer science Institute of Science and Technology Austria Agent-based model Runtime verification Edmund M. Clarke Systems engineering Academia Software development Science Formal methods Logic in computer science
10	current_mast_b&w_spr07 Add to Reading List Source URL: www.ece.cmu.edu Language: English - 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