Back to Results
First PageMeta Content
Mathematical logic / Büchi automaton / First-order logic / Finite-state machine / FO / Function / Nested word / Muller automaton / Automata theory / Theoretical computer science / Mathematics


Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER
Add to Reading List

Document Date: 2001-11-26 15:52:48

Open Document

File Size: 1,44 MB

Share Result on Facebook

City

Ithaca / /

Company

IBM / Digital Equipment Corporation / /

Currency

USD / /

Facility

Cornell University / /

IndustryTerm

infinite descending chain / mutual exclusion protocol / /

Organization

office of Naval Research / National Science Foundation / Department of Computer Science / Cornell University / Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center / Association for Computing Machinery / /

Person

FRED B. SCHNEIDER / BOWEN ALPERN / /

Position

Programs General / programmer / /

ProgrammingLanguage

C / /

ProvinceOrState

New York / /

Technology

mutual exclusion protocol / /

SocialTag