Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Example Revisited

  • revise is decomposed into:
    • select-violation - nondeterministically selects a constraint violation from those detected by C-test; implicit assumption is that this selection does not influence the performance of the problem solving method and the quality of the result; strong assumption again
    • derive-fixes - computes the set of all possible fix combinations that could possibly resolve the selected constraint violation; each combination must be finite
    • select-fix - selects a fix combination, guided by a cost-function
    • apply-fix - applies a fix combination

Speaker notes:

Content Tools


There are currently no sources for this slide.