条纹

Strix是一个新的反应式LTL综合工具,它将LTL公式直接转换为确定性奇偶自动机(DPA)和一个高效的、多线程的奇偶对策显式状态求解器。