Online Partial Evaluation,Infinite Model Checking,and Petri net algorithms.pptVIP

Online Partial Evaluation,Infinite Model Checking,and Petri net algorithms Michael Leuschel Declarative Systems Software Engineering Dept. Electronics Computer Science University of Southampton Overview Infinite Model Checking by Partial Evaluation Teaser Small Tutorial of Partial Evaluation PE Algorithms vs Petri net algorithms KarpMiller, Finkel min. coverability graphs, backwards reachability for WSTS Part 1:Infinite State Model Checking by Partial Evaluation: Teaser (Automatic) Program Optimisation When: Source-to-source during compilation at link-time at run-time Why: Make existi