Back to Results
First PageMeta Content
Theoretical computer science / Automated theorem proving / Formal methods / Philosophy of mathematics / Logic in computer science / Automated reasoning / Formal verification / Mathematical logic / Formal proof / Mathematics / Logic / Applied mathematics


Document Date: 2006-10-20 11:59:18

Open Document

File Size: 212,64 KB

Share Result on Facebook

City

Silicon / /

Company

IBM / Infinite State Systems / Russell / /

Event

Natural Disaster / /

IndustryTerm

purpose devices / software engineering / universal tool / large software systems / on-line sources / data processing / automated formal verification tools / technology / similar tools / verification tools / software components / finitestate systems / quantum computing / software systems / /

Organization

Carnegie Mellon University / National Aeronautics and Space Administration / Dana S. Scott University / /

Person

John von Neumann / Andrew W. Appel / Tobias Nipkow / Harvey Friedman / Ludwig Wittgenstein / Alan Turing / Randal E. Bryant / Crystal Ball / John McCarthy / Richard W. Hamming / Karl Crary / Bruno Buchberger / Marvin Minsky / Andrew Gleason / Emeritus Carnegie / Ken Olson / Alfred North Whitehead / Bill Gates / John Harrison / Carl Hewitt / Bertrand Russell Proof / Thomas J. Watson / Richard Feynman / /

Position

author / Prentice Hall business editor / Harper / Engineer / /

PublishedMedium

Fortune Magazine / Popular Mechanics / /

Technology

Model Checking Today Model checking technology / /

SocialTag