Pardinus：一个时态关系模型查找器-Archive ouverte HAL Accéder directment au contenu公司
第三条Dans Une Revue 自动推理杂志 Anneée:2022年

Pardinus：一个时态关系模型查找器

Résumé

本文介绍了流行的Kodkod关系型的扩展Pardinus具有线性时间逻辑的模型查找器（包括过去的运算符），以简化对动态系统。Pardinus包括一个基于SAT的有界模型检查引擎和一个基于SMV的完整模型检查引擎，两者都允许在不同的规范的实例（或反例）。它还支持分解的并行提高两个分析引擎在商品多样性上效率的分析策略-核心机器。

与葡萄园

信息逻辑[cs.LO] 盖尼逻辑[cs.SE]
菲奇尔校长
小品小品
主pdf（614.24 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

大卫·切穆尔 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-03738430

Soumis le:mercredi 2022-16:46:52年9月21日

Dernière修改le:vendredi 5 avril 2024-14:22:02

长期档案馆：jeudi 22 décembre 2022-19:22:16

Télé充电器倒可视化

日期和版本

hal-03738430， 版本1 (21-09-2022)

身份证明人

Citer公司

Nuno Macedo、Julien Brunel、David Chemouil、Alcino Cunha。Pardinus：一个时间关系模型查找器。自动推理杂志, 2022,⟨10.1007/s10817-022-09642-2⟩.⟨哈尔-03738430⟩

出口商

BibTeX公司 XML-TEI 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

ONERA公司 澳大利亚国家铁路公司
45 磋商
101 交易费用

海拔高度

合作伙伴

Gmail（Gmail） 乳臭虫 脸谱网 X（X） LinkedIn链接 更多