Penn Plaza / University of Illinois / University of Pennsylvania SWARAT CHAUDHURI / Rice University / University of Pennsylvania / / /
IndustryTerm
pushdown systems / software model checking approach / above applications / Software model / software security / domain-specific applications / interprocedural software analysis / abstract devices / finite-state systems / model-checking algorithms / symbolic model-checking algorithm / finitestate reactive systems / classical symbolic algorithm / model checking algorithms / software verification / /
OperatingSystem
L3 / /
Organization
University of Illinois / National Science Foundation / University of Illinois While / University of Pennsylvania / University of Pennsylvania SWARAT CHAUDHURI / Rice University / Information Science Department / Computer Science Department / /
Person
RAJEEV ALUR / Emerson / Clarke / Lei / / /
Position
branching-time model / General / programmer / /
ProvinceOrState
New York / /
Technology
classical symbolic algorithm / symbolic model-checking algorithm / Known model-checking algorithms / model checking algorithms / /
15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois