Selamat: Binary and experiment data

This is a tool developed based on the paper "Automated synthesis of local time requirement for service composition" published in Software and Systems Modeling in 2020.

本工具基于2020年发表于《软件与系统建模》（Software and Systems Modeling）的论文《服务组合的局部时间需求自动化合成》（Automated synthesis of local time requirement for service composition）开发而成。