文件名称：BLESS-models:具有BLESS行为，证明脚本和正确性证明的AADL模型
文件大小：517KB
文件格式：ZIP
更新时间：2024-03-26 05:11:24
PostScript
BLESS模型 具有BLESS行为，证明脚本和正确性证明的AADL模型
【文件预览】：
BLESS-models-master
----DDD()
--------aadl()
--------.aadlsettings(75B)
--------proof()
--------.settings()
--------.project(491B)
--------.slang()
--------diagrams()
--------proof script()
----Isolette-classic()
--------aadl()
--------rdal()
--------.aadlsettings(78B)
--------proof()
--------representations.aird(11KB)
--------.settings()
--------.project(621B)
--------diagrams()
--------proof scripts()
----CTCS()
--------proofscripts()
--------proof()
--------.project(475B)
--------packages()
--------propertysets()
----LICENSE(7KB)
----PO-SA()
--------aadl()
--------.aadlsettings(75B)
--------proof()
--------.project(576B)
--------proof script()
----DDDRwE()
--------.aadlsettings(75B)
--------proof()
--------.project(464B)
--------packages()
--------proof scripts()
----README.md(89B)
----VVI()
--------aadl()
--------.aadlsettings(75B)
--------proof()
--------.project(453B)
--------proof script()