bannerc

Tool title

Title of page above

Type

NASA

Owner/Source

NASA - ARC

Link

http://ti.arc.nasa.gov/tech/rse/vandv/cgs/

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


  • No labels