SMT-based generation of symbolic automata
SMT-based generation of symbolic automata
复制标题
基于SMT的符号自动机生成
DOI：
10.1007/s00236-020-00367-6
复制
发表时间：
2020-05
期刊：
影响因子：
0.6
通讯作者：
Zhang Min
中科院分区：
文献类型：
--
作者：
Qin Xudong;Bliudze Simon;Madelaine Eric;Hou Zechen;Deng Yuxin;Zhang Min
开放PNET是可以表达开放系统的行为的正式模型，无论是同步的、异步的还是异构性的。它们被赋予了开放自动机方面的符号化操作语义，这使得我们可以检查它们的性质
Open pNets are formal models that can express the behaviour of open systems, either synchronous, asynchronous, or heterogeneous. They are endowed with a symbolic operational semantics in terms of open automata, which allows us to check properties of such
登录
查看更多内容
DOI：
10.1016/0304-3975(85)90093-3
发表时间：
1985
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Robert de Simone
通讯作者：
Robert de Simone
DOI：
10.4204/eptcs.223.6
发表时间：
2016-08
期刊：
--
影响因子：
--
作者：
Anastasia Mavridou;Eduard Baranov;S. Bliudze;J. Sifakis
通讯作者：
Anastasia Mavridou;Eduard Baranov;S. Bliudze;J. Sifakis
DOI：
10.1016/s1571-0661(05)80477-3
发表时间：
1999-12
期刊：
Inf. Comput.
影响因子：
--
作者：
A. Rensink
通讯作者：
A. Rensink
DOI：
10.1007/978-3-319-41540-6_29
发表时间：
2016-07
期刊：
--
影响因子：
--
作者：
A. Champion;Alain Mebsout;Christoph Sticksel;C. Tinelli
通讯作者：
A. Champion;Alain Mebsout;Christoph Sticksel;C. Tinelli
DOI：
--
发表时间：
2001-12
期刊：
--
影响因子：
--
作者：
Deng;Yu-xin
通讯作者：
Deng;Yu-xin