GrammaTech - PDFSEARCH.IO - Document Search Engine

GrammaTech
Results: 25

#	Item
1	Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA) Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2015-02-17 10:00:22 Theoretical computer science Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Solver Standard Performance Evaluation Corporation Computer performance
2	The SMT-LIBv2 Language and Tools: A Tutorial David R. Cok GrammaTech, Inc. VersionNovember 23, 2013 Add to Reading List Source URL: smtlib.github.io Language: English - Date: 2015-12-24 13:35:05 Theoretical computer science Software engineering Constraint programming Computing Formal methods Logic in computer science Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Constraint satisfaction problem
3	PRODUCT DATA SHEET CODESONAR FOR BINARIES Intel and ARM Processors Add to Reading List Source URL: www.grammatech.com - Date: 2016-07-05 09:21:12
4	Cindy Rubio González University of California, Davis Department of Computer Science 3039 Kemper Hall, Davis, CAE-mail: Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2016-08-03 20:45:50 Association for Computing Machinery Programming Language Design and Implementation Computer science Computing SIGPLAN GrammaTech Computer programmers Susan B. Horwitz Astre
5	REPORT DOCUMENTATION PAGE Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2015-10-27 14:35:32 Software testing Address space layout randomization Computer network security Binary hardening Code injection SQL injection Heap Vulnerability GrammaTech Computer security
6	Securely Taking on New Executable Software of Uncertain Provenance (STONESOUP) Neutralizing Exploitable Vulnerabilities in Software Program Manager: Mr. W. Konrad Vesey; E-mail: How can we benefit Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2015-10-27 14:35:32 Software testing Computer network security Hacking Vulnerability GrammaTech Computer security
7	Repairing COTS Router Firmware without Access to Source Code or Test Suites: A Case Study in Evolutionary Software Repair Eric Schulte GrammaTech, Inc. Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2015-07-12 01:30:11
8	TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-03-05 23:54:33 Logic in computer science Programming language semantics Programming language implementation Compiler construction Formal methods Abstract interpretation Semantics Static program analysis Syntax GrammaTech Denotational semantics Compiler
9	Grammatech, Meet Basil (or “Geeks, Know Thine Selves”) Jonathan Riehl Grammatech, Inc. July 29th, 2005 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2005-09-16 10:58:58
10	Finite Differencing of Logical Formulas for Static Analysis THOMAS REPS University of Wisconsin and GrammaTech, Inc. MOOLY SAGIV Tel Aviv University Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2010-03-23 11:45:14