Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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
 
© EPFL 2018 - Legal notice