Back to Results
First PageMeta Content
Mathematics / Metalogic / Logic in computer science / Electronic design automation / NP-complete problems / Automated theorem proving / Satisfiability Modulo Theories / John Rushby / Model checking / Theoretical computer science / Formal methods / Logic


Document Date: 2006-08-26 05:21:04

Open Document

File Size: 58,63 KB

Share Result on Facebook

City

Seattle / /

IndustryTerm

infinite state systems / model-checking technology / to other applications / finite state systems / state systems / /

Person

John Rushby / Joseph Kiniry / John Rushby / SR / /

ProgrammingLanguage

Lisp / /

Technology

model-checking technology / CAV / /

SocialTag