Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/21 15:35]
vaibhav.rajan
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/21 15:36] (current)
vaibhav.rajan
Line 38: Line 38:
   - It took some time to understand Jahob data-structures.   - It took some time to understand Jahob data-structures.
   - Some places it was difficult to say what format of formula program will receive.   - Some places it was difficult to say what format of formula program will receive.
-  - Needs more experimentation and effort.+  - Needs more experimentation and effort ​for making this plugin usable
  
  
 
constraint_based_analysis_of_java_using_jahob_and_amrc.txt · Last modified: 2007/06/21 15:36 by vaibhav.rajan