11 Years of Formal Methods at Galois, Inc. Lee Pike Galois, Inc. [removed] A survey of work by many contributors - Évariste Galois - Document - PDFSEARCH.IO

First Page	Meta Content
	11+ Years of Formal Methods at Galois, Inc. Lee Pike Galois, Inc. [removed] A survey of work by many contributors Add to Reading List Document Date: 2011-11-10 23:38:22 Open Document File Size: 1,68 MB Share Result on Facebook City Portland / / Company Galois Inc. / the AES / Lee Pike Galois Inc. / / Country United States / / / Facility FPGA Verification Lee Pike / / IndustryTerm assurance software / technology licensing / crypto algorithms / Technology transition / / Position Cryptol interpreter / translator / / Product Cryptol Type System / / ProgrammingLanguage ABC / / ProvinceOrState Oregon / / Technology Encryption / functional programming / FPGA / Cryptography / DSL / / URL http / SocialTag Group theory Formal verification Logic in computer science Évariste Galois Formal methods Isabelle ACL2 Number Programming language Mathematics

11+ Years of Formal Methods at Galois, Inc. Lee Pike Galois, Inc. [removed] A survey of work by many contributorsAdd to Reading List