Slide 1 1 University of Pennsylvania Demonstrations Alur, Kumar, Lee, Pappas Rafael Fierro Yerang Hur Franjo Ivancic PK Mishra Slide 2 2 CHARON Toolset Analysis Tools Abstraction…