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 / Central Intelligence Agency / Department of Computer Science / University of Pennsylvania / University of Edinburgh / School of Informatics / /
Person
RAJEEV ALUR / MARCELO ARENAS / PABLO BARCELO / Ua / LEONID LIBKIN / NEIL IMMERMAN / / /
Position
Player / /
ProgrammingLanguage
XML / /
ProvinceOrState
Alabama / /
Technology
XML / API / model checking technology / DOM / LTL model checking algorithms / Software model checking technology / /
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