Back to Results
First PageMeta Content
Mathematics / Logic in computer science / Systems engineering / Automated theorem proving / Formal verification / Software verification / Model checking / Logic simulation / Correctness / Formal methods / Applied mathematics / Theoretical computer science


Document Date: 2007-07-02 09:31:37

Open Document

File Size: 96,46 KB

Share Result on Facebook

Company

John Harrison Intel Corporation / Industry (I) 7 Computer / Industry (I) John Harrison Intel Corporation / Industry (I) 9 Hardware / /

Event

Product Issues / /

IndustryTerm

synthesis tool / real-world hardware / software world / Software verification / /

Position

designer / /

Product

hand / /

Technology

real chip / simulation / /

SocialTag