×

找到4个软件包(结果1-4)

塞林克

软件作者:丹尼尔·斯科佩(Daniel Schoepe);丹尼尔·赫丁(Daniel Hedin);安德烈·萨贝尔菲尔德
引用于: 2出版物(2014-2017)
相关软件: K校准仪;链接;JSLINQ公司;F*;KJS;网址(Ur/Web)…
主要字段: 计算机科学(68-XX)

CoCon公司

软件作者:安德烈·波佩斯库;彼得·兰米奇(Peter Lammich);侯萍
引用于: 1出版物(2021年)
相关软件: CoSMed;存档正式证据;FlowFox;JRIF;CAVA LTL模型检查器;网址(Ur/Web)…
主要字段: 计算机科学(68-XX)

强化

软件作者:娜塔拉詹·梅格纳坦
引用于: 0出版物
相关软件:
主要字段:

剑DTA

软件作者:蔡军;邹鹏;马金鑫;何骏
引用于: 0出版物
相关软件: 戴坦;皮克斯;github;投掷;KLEE公司;可爱的
主要字段: 计算机科学(68-XX)