Dream - PDFSEARCH.IO - Document Search Engine

Dream
Results: 7157

#	Item
1	Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:16:26 Cryptography Pyruvate dehydrogenase lipoamide kinase isozyme 1 Key management Digital signature Key
2	Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 14:16:19 Theoretical computer science Markov models Formal methods Graph theory Markov chain Process calculus Semantics Stochastic process Mathematics
3	Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-20 03:24:48 Logic Mathematical logic Mathematics Model theory Propositional calculus Logic in computer science Logical truth Linear temporal logic First-order logic Well-formed formula Interpretation Intuitionistic logic
4	Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-26 10:39:46 Computer programming Software engineering Computing Lisp Functional programming Data types Abstract data types Functional languages Append ACL2 Cons Nqthm
5	Introduction R/G Examples Brief history Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-04 03:30:10 Concurrency control Linearizability Transaction processing Model theory
6	Results of Tom K. Wong, United We Dream, National Immigration Law Center, and Center for American Progress National Survey Fieldedton = 1,308 Add to Reading List Source URL: cdn.americanprogress.org Language: English - Date: 2016-10-21 15:11:37
7	PDF Document Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 11:35:00 Automated theorem proving Heuristics Rippling Mathematical proof Cognition Knowledge Epistemology
8	Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 11:35:27 Operator theory Harmonic analysis Mathematics Partial differential equations Morphism of algebraic varieties Beltrami equation
9	Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 09:00:40 Theoretical computer science Mathematical logic Mathematics Boolean algebra Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Propositional calculus Model checking
10	Overview Hoare Logic Separation Logic Entailment Exercise Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:15:49 Theoretical computer science Formal methods Mathematical logic Logic Logic in computer science Substructural logic Hoare logic Static program analysis Separation logic Predicate transformer semantics Loop invariant Existential quantification