SEPAL是一个面向人机物融合应用感知决策双保障的运行平台，提供平台配套的统一编程框架，以方便开发者便捷开发此类应用并在运行时刻监控并从可信感知及决策两个角度保障应用运行质量。

This is a tool with UIs for generating GEAS's s-conditions automatically.

This is GEAS implementation (including GEAS-ori and GEAS-opt) for our TSE'21 paper.

CMID环境上下文处理平台，南京大学

This repo covers the implementation of the following ICSE 2020 paper, "DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer Dissection " (DISSECTOR).

This is the artifact for our ISSRE paper MG