Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/14 12:53] vaibhav.rajan |
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/14 12:53] vaibhav.rajan |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| - ''Abstract Fixed Point'' finds a fixed point which does not contain error state. | - ''Abstract Fixed Point'' finds a fixed point which does not contain error state. | ||
| - ''Feasible Counter Example'' finds a concrete counter example. | - ''Feasible Counter Example'' finds a concrete counter example. | ||
| - | | ||
| - | |||
| - | === Abstract Fixed Point === | ||
| - | |||
| - | |||
| - | === Feasible Counter Example === | ||
| - | |||
| - | |||
| - | === Refine === | ||
| - | |||
| - | |||
| - | |||
| - | |||