Documents March 25, 2012 Organizing committee: Hana Chockler IBM Daniel Kroening Oxford Natasha Sharygina USI....

Slide 1March 25, 2012 Organizing committee: Hana Chockler IBM Daniel Kroening Oxford Natasha Sharygina USI Leonardo Mariani Giovanni Denaro UniMiB Slide 2 2 Program 09:15…

Documents PINCETTE project: Validation of changes and upgrades in large software systems Unique challenges and...

PINCETTE project: Validation of changes and upgrades in large software systems Unique challenges and suggested solutions Hana Chockler Motivation: Challenges of validation…