Tool title |
Title of page above |
Type |
Academic |
Owner/Source |
Alex Aiken-Stanford University |
Link |
|
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 |
