Back to Results
First PageMeta Content
Applied mathematics / Logic in computer science / Nested word / Words / Formal methods / Temporal logic / Nesting / Stack / Model checking / Theoretical computer science / Automata theory / Mathematical logic


FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania
Add to Reading List

Document Date: 2008-12-22 08:01:06

Open Document

File Size: 473,29 KB

Share Result on Facebook

City

ALUR ET / /

Company

Creative Commons / /

/

Facility

University of Edinburgh / /

IndustryTerm

model checking technology / Software model checking technology / streaming applications / transition systems / successive applications / model checking algorithms / software verification / /

Organization

University of Massachusetts / Universidad de Chile / AND LEONID LIBKIN Department of Computer and Information Science / Department of Computer Science / University of Pennsylvania / University of Edinburgh / kousha@inf.ed.ac.uk Department of Computer Science / School of Informatics / /

Person

RAJEEV ALUR / MARCELO ARENAS / PABLO BARCELO / Ua / LEONID LIBKIN / NEIL IMMERMAN / /

/

Position

iff Player / Player / /

ProgrammingLanguage

XML / /

ProvinceOrState

Alabama / /

Technology

XML / API / model checking technology / DOM / LTL model checking algorithms / Software model checking technology / /

SocialTag