Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/14 12:26] vaibhav.rajan |
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/14 12:30] vaibhav.rajan |
||
---|---|---|---|
Line 23: | Line 23: | ||
- ''Feasible Counter Example'' finds a concrete counter example. | - ''Feasible Counter Example'' finds a concrete counter example. | ||
| | ||
+ | |||
+ | === Abstract Fixed Point === | ||
+ | |||
+ | |||
+ | === Feasible Counter Example === | ||
+ | |||
+ | |||
+ | === Refine === | ||
+ | |||
+ | |||
+ | |||