Back to Results
First PageMeta Content
Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Model checking / Data types / Boolean satisfiability problem / Ada / Pointer / Computing / Software engineering / Theoretical computer science


Saturn: A SAT-based Tool for Bug Detection? Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie,aiken}cs.stanford.edu
Add to Reading List

Document Date: 2005-05-20 18:05:46

Open Document

File Size: 90,36 KB

Share Result on Facebook

City

Reading / Berlin / /

Company

Model Checking Software / /

Country

Germany / /

Facility

Alex Aiken Computer Science Department Stanford University / /

IndustryTerm

large software systems / type-based checking tool / Static analysis tools / call site / Software verification / large software / /

OperatingSystem

Linux / /

Organization

National Science Foundation / Stanford University / /

Person

Alex Aiken / /

Position

boolean guard / /

ProgrammingLanguage

C / Verilog / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Lecture Notes in Computer Science / /

SportsLeague

Stanford University / /

Technology

Verilog / Operating Systems / finite state machine / Linux / /

SocialTag