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 / /