搜索结果: 1-4 共查到“计算机科学技术 Saturn”相关记录4条 . 查询时间(0.077 秒)
The Saturn Program Analysis System
The Saturn Program Analysis System
font style='font-size:12px;'>
2016/5/25
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...
Saturn: A SAT-Based Tool for Bug Detection
Saturn SAT-Based Tool Bug Detection
font style='font-size:12px;'>
2016/5/24
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.
An Overview of the Saturn Project
program analysis verification boolean satisfiability
font style='font-size:12px;'>
2016/5/24
We present an overview of the Saturn program analysis system,including a rationale for three major design decisions: the use of function-at-a-time, or summary-based, analysis, the use of constraints,a...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
font style='font-size:12px;'>
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...