安全检测>> FSE-2011-SafeSlice>> 返回
项目作者： SoftwareEngineeringToolDemos

项目描述 ：
SysML的模型切片和设计安全检查工具
高级语言：
项目地址: git://github.com/SoftwareEngineeringToolDemos/FSE-2011-SafeSlice.git


FSE-2011-SafeSlice

This repository contains information related to the tool SafeSlice presented at FSE 2011. The tool was presented in this [paper] (http://dl.acm.org.prox.lib.ncsu.edu/citation.cfm?id=2025191).

This repository is not the original repository for this tool. Here are some links to the original project:

In this repository, for SafeSlice you will find:

  • :x: Source code (not available)
  • :x: Executable tool (not available)
  • :x: Virtual machine containing tool (not available)

The tool was developed by Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel Briand, and Antonio Messina.

This repository was constructed by Peter Chen under the supervision of Emerson Murphy-Hill. Thanks to Shiva Nejati for providing help.