Date: 2010-11-11 10:23:46

Formal methods

Logic in computer science

Theoretical computer science

Systems engineering

Formal verification

Model checking

Satisfiability modulo theories

Verification

Correctness

Software verification

A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 88,42 KB