bannerc

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

Compare with Current View Page History

« Previous Version 8 Next »

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.

User

TBD

SWE

SWE-135


  • No labels