UU - PDFSEARCH.IO - Document Search Engine

UU
Results: 9000

#	Item
11	Introduction Thereand Back Again Conclusions Integration of SMT Solvers with ITPs — Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-03-02 09:46:28 Theoretical computer science Logic in computer science Logic Formal methods Mathematics Automated theorem proving Metalogic Proof assistants Satisfiability modulo theories Solver Z3 Satisfiability
12	Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 18:45:45 Mathematics Multiset Set-builder notation
13	Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS Add to Reading List Source URL: www.haskell.org Language: English - Date: 2015-02-15 12:19:14 Software engineering Computer programming Declarative programming Type theory Functional programming Data types Type systems Functional languages Haskell Type class Monad Generic programming
14	Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 04:25:02 Mathematics Computer arithmetic Real number Floating-point arithmetic Arbitrary-precision arithmetic Algorithm Interval Complex number
15	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-03-15 18:34:02 Mathematical logic Logic Boolean algebra Mathematics Complexity classes True quantified Boolean formula Predicate logic FO PSPACE-complete Boolean Propositional calculus Model theory
16	Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-20 11:22:00 Software engineering Computing Computer programming Cross-platform software High-level programming languages Abstract interpretation Computer science Symbolic execution D Pure Concolic testing
17	Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-03-05 21:15:02
18	SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:34 Mathematical logic Computability theory Type theory Theoretical computer science Metalogic Model theory Lambda calculus Constructible universe Mathematics
19	Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-04-11 08:01:06 Mathematical logic Theoretical computer science Proof assistants Mathematics Logic in computer science Formal methods Type theory Automated theorem proving Isabelle Lambda calculus Higher-order logic HOL
20	Kurser som ges flera gånger Kurs Omtenta Matematik Add to Reading List Source URL: www.teknat.uu.se Language: Swedish - Date: 2018-10-19 07:37:58

UPDATE