Back to Results
First PageMeta Content
Mathematics / Formal languages / Computer science / Finite state transducer / Finite-state machine / Nondeterministic finite automaton / Petri net / FO / Variable / Automata theory / Models of computation / Theoretical computer science


Algorithmic Analysis of Array-Accessing Programs ? ˇ Rajeev Alur, Pavol Cern´ y, and Scott Weinstein University of Pennsylvania
Add to Reading List

Document Date: 2009-06-22 08:52:31

Open Document

File Size: 217,06 KB

Share Result on Facebook

Currency

pence / /

/

Facility

Scott Weinstein University of Pennsylvania / /

IndustryTerm

software model checking / recent tools / automatic verification tool / /

Organization

National Science Foundation / University of Pennsylvania / /

Person

Rajeev Alur / /

Position

director / programmer / a manager / /

Product

Latte W10 Portable Audio Device / /

ProgrammingLanguage

Java / /

ProvinceOrState

Quebec / South Dakota / /

Technology

Java / mobile devices / Pspace algorithm / /

SocialTag