Back to Results
First PageMeta Content
Logic in computer science / Mathematics / Model checkers / Model checking / Formal verification / Electronic design automation / Verification and validation / Correctness / Logic simulation / Formal methods / Theoretical computer science / Applied mathematics


Content Algorithmic Verification Comp4151 Lecture 1 Ansgar Fehnker
Add to Reading List

Document Date: 2006-06-05 00:33:08

Open Document

File Size: 509,50 KB

Share Result on Facebook

Company

Comp4151 Ansgar Fehnker Hardware / EMC / Intel / Microsoft / /

Currency

USD / /

Event

Product Issues / FDA Phase / Man-Made Disaster / /

IndustryTerm

software error / state transition systems / vs software / approximate search / metal target / finite state concurrent systems / wireless network / metal shield / energy electron-beam / select high energy beam / defective chips / software crisis / high energy electron-beam / Internet Information Server / software development time / software engineering practice / exhaustive search / /

OperatingSystem

BSD / Xp / Linux / /

Organization

OR ITS / Smithsonian / /

Person

Derive / Infinite / Run / Ken McMillan / Ralf Huuck / Calculate / Ansgar Fehnker / /

Position

computer scientist / model / engineer / tio model / simpler model / /

Product

Hardware vs software / chips PR nightmare / Comp4151 / Hardware / /

ProgrammingLanguage

PROMELA / /

Technology

design verification / enabling technology / X-ray / Linux / Microwave / simulation / Pentium chip / 5 million defective chips / /

SocialTag