Back to Results
First PageMeta Content
Temporal logic / Logic in computer science / Formal methods / Formal sciences / Model checking / Linear temporal logic / Computation tree logic / Formal verification / CTL* / Mathematical logic / Logic / Theoretical computer science


Document Date: 2008-03-27 10:41:08

Open Document

File Size: 186,72 KB

Share Result on Facebook

City

Amsterdam / /

Company

IBM / EMC / Fujitsu Labs of America / /

Country

France / United States / /

Currency

USD / /

/

Event

Man-Made Disaster / /

Facility

US National Institute of Standards and Technology / University of Texas / Computer Engineering Research Center The University of Texas / Harvard University / /

IndustryTerm

graph-theoretic reachability algorithm / graph search / model checking algorithm / overseas bank draft / computer systems / reactive systems / finite state concurrent systems / computer software programs / medical devices / automotive electronics / concurrent systems / finite state systems / communication protocols / on-board avionics systems / model checking tool / Proof systems / bit protocol / transition systems / synchronization protocols / model checking algorithms / /

Organization

Harvard University / University of Texas at Austin / National Science Foundation / US National Institute of Standards and Technology / Center for Mathematics and Computer Science / University of Texas / Department of Computer Sciences / /

/

Position

program chair / /

ProvinceOrState

Texas / /

Technology

CTL model checking algorithm / finite state machine / graph-theoretic reachability algorithm / synchronization protocols / communication protocols / operating systems / alternating bit protocol / Network protocols / model checking algorithms / /

URL

www.cs.utexas.edu/∼emerson / /

SocialTag