Tool title |
Title of page above |
Type |
NASA |
Owner/Source |
NASA - ARC |
Link |
|
Description |
C Global Surveyor. An experimental tool at NASA Ames Research Center from Guillaume Brat and Arnaud Venet, based on abstract interpretation techniques, inspired by Patrick Cousot. This is obsolete and superseeded by the work on IKOS, a framework to generate of static analyzers based on abstract interpretation. |
User |
ARC, JPL |
SWE |
SWE-135 |
