Back to Results
First PageMeta Content
Lisp programming language / Functional languages / Formal methods / Automated theorem proving / Procedural programming languages / ACL2 / Lisp / Formal verification / Nqthm / Computing / Software engineering / Computer programming


Tech Digest Figure Template_1 column_01-06-12
Add to Reading List

Document Date: 2013-09-26 17:40:05

Open Document

File Size: 1,57 MB

Share Result on Facebook

Company

APL / Advanced Micro Devices Inc. / Intel / /

Facility

bar baz / University of Texas / /

IndustryTerm

recursive call site / software crashes / costly satellite / satellite-borne scientific instruments / search-and-replace operations / point division algorithm / application software / axiomatic proof systems / software exercises / chosen proof tool / software errors / Even software workarounds / function car / low-power processor / Verification tools / software authors / software developers / embedded software / instrumentspecific software routines / software programmers / overflow/underflow protocol / lowpower processor / implemented software / automated translation tool / attractive tool / unpredictable software behavior / verification tool / /

Organization

SCIP’s VHDL / University of Texas / /

Person

Matt Kaufmann / J. Strother Moore / /

/

Position

single designer / programmer / /

Product

ACL2 / /

ProgrammingLanguage

VHSIC Hardware Description Language / LISP / Common Lisp / /

ProvinceOrState

Texas / /

Technology

design verification / FPGA / Radiation / real-time operating system / FM9001 processor / logical unit / overflow/underflow protocol / lowpower processor / operating system / VHDL / Pentium processor / low-power processor / /

SocialTag