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

Academic

Owner/Source

Alex Aiken-Stanford University

Link

http://saturn.stanford.edu/index.html

Description

The goal of the Saturn project is to statically and automatically verify properties of large (meaning multi-million line) software systems. The focus of the work is simultaneously achieving scalability, precision, and a straightforward way of expressing analyses that is easy to reason about. Version 1.2.

User

TBD

SWE

SWE-135


  • No labels