Back to Results
First PageMeta Content
Functional languages / Theoretical computer science / Technology / Bluespec / Inc. / Arvind / Atom / Lennart Augustsson / Formal methods / James Hoe / Computing / Year of birth missing / Software engineering


Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology
Add to Reading List

Document Date: 2008-06-04 08:51:50

Open Document

File Size: 384,96 KB

Share Result on Facebook

Company

Science & Artificial Intelligence Laboratory / /

Event

Man-Made Disaster / /

Facility

Artificial Intelligence Laboratory Massachusetts Institute of Technology Formal Methods / /

Organization

Institute of Technology Formal Methods / Massachusetts Institute of Technology / /

Person

Rule / James Hoe / Mike Katelman / Nirav Dave / /

/

Position

guard / Scheduler / designer / /

Product

Formal / /

ProgrammingLanguage

Verilog / /

Technology

design verification / Verilog / /

URL

http /

SocialTag