bannera

Book A.
Introduction

Book B.
7150 Requirements Guidance

Book C.
Topics

Tools,
References, & Terms

SPAN
(NASA Only)

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