搜索结果: 1-5 共查到“知识库 工学 Saturn”相关记录5条 . 查询时间(0.051 秒)
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 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.
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
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 ...
带状三足——Saturn凳
Saturn凳 带状三足
2009/9/10
Saturn凳是由英国设计组合BarberOsgerby于今年为德国ClassiCon公司设计，并在本届的米兰家具展上进行了展出。该设计是由Saturn衣架演变而来，带状凳腿呈现出了从任何角度看去都十分优美的几何线条。该凳的结实程度让其拥有了除坐具以外的其它用途，那就是充当小桌使用。Saturn凳采用山毛榉实木制成，表面分别喷有黑、白、棕、橘红四色涂料。其基本尺寸为：W40×D40.5×H44...