bannerc

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