J Strother Moore - PDFSEARCH.IO - Document Search Engine

J Strother Moore
Results: 14

#	Item
11	PROOF CHECKING THE RSA PUBLIC KEY ENCRYPTION ALGORITHM1 Robert S. Boyer and J Strother Moore MR Classification Numbers: 03-04, 03B35, 10A25, 68C20, 68G15 The development of mathematics toward greater precision has led, a Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:24 Number theory Integer sequences Electronic commerce Public-key cryptography RSA Theorem Prime number IP Nqthm Mathematics Logic Modular arithmetic
12	THE USE OF A FORMAL SIMULATOR TO VERIFY A SIMPLE REAL TIME CONTROL PROGRAM Robert S. Boyer Milton W. Green J Strother Moore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:01 Formal methods Functions and mappings Formal sciences Mathematical logic Formal verification Control theory KeY Integral Function Mathematics Applied mathematics Theoretical computer science
13	A MECHANICAL PROOF OF THE UNSOLVABILITY OF THE HALTING PROBLEM Robert S. Boyer and J Strother Moore ICSCA-CMP-28 July 1982 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:25 Control flow Eval Functions and mappings Halting problem Function Characterizations of the exponential function Mathematics Computability theory Theory of computation
14	A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA [removed], WWW home page: http://cs.utexas.edu/users/moore Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-03-23 00:34:24 Automated theorem proving Formal methods Lisp programming language Model theory ACL2 Nqthm Proof assistant Formal verification J Strother Moore Logic Mathematics Theoretical computer science

UPDATE