Documents Model Checking From Tools to Theory Rajeev Alur University of Pennsylvania 25MC, FLOC, August 2006.

Slide 1Model Checking From Tools to Theory Rajeev Alur University of Pennsylvania 25MC, FLOC, August 2006 Slide 2 Automata/Logics CS Theory Algorithms/Complexity Model CheckingDatabasesCompilersLinguistic/NLP…

Documents Nested Words and Trees Rajeev Alur University of Pennsylvania Joint work with S.Chaudhuri &...

Slide 1 Nested Words and Trees Rajeev Alur University of Pennsylvania Joint work with S.Chaudhuri & P.Madhusudan Games Workshop, Cambridge, UK, July 2006 Slide 2 Software…