bannerc

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 7 Current »

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