Towards probabilistic model checking on P systems using PRISM

被引：0

作者：

Romero-Campero, Francisco J. ^{[1
]}

Gheorghe, Marian ^{[2
]}

Bianco, Luca ^{[3
]}

Pescini, Dario ^{[4
]}

Perez-Jimenez, Mario J. ^{[1
]}

Ceterchi, Rodica ^{[5
]}

机构：

[1] Univ Seville, Res Grp Nat Comp, Dept Comp Sci & Artificial Intelligence, Avda Reina Mercedes, Seville 41012, Spain

[2] Univ Sheffield, Dept Comp Sci, Sheffield S1 4DP, S Yorkshire, England

[3] Univ Verona, Dept Comp Sci, I-37134 Verona, Italy

[4] Univ Milan, Dipartimento Informat Sistemist & Commun, I-20126 Milan, Italy

[5] Univ Bucharest, Fac Math & Comp Sci, Bucharest 70109, Romania

来源：

MEMBRANE COMPUTING | 2006年 / 4361卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents the use of P systems and T-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.

引用

页码：477 / +

页数：3

共 50 条

[1] PRISM 2.0: A tool for probabilistic model checking
Kwiatkowska, M
Norman, G
Parker, D
[J]. QEST 2004: FIRST INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2004, : 322 - 323
[2] Advances in Symbolic Probabilistic Model Checking with PRISM
Klein, Joachim
Baier, Christel
Chrszon, Philipp
Daum, Marcus
Dubslaff, Clemens
Klueppelholz, Sascha
Maercker, Steffen
Mueller, David
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 349 - 366
[3] Family-based Model Checking using Probabilistic Model Checker PRISM
Kishi, Tomoji
[J]. PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 376 - 385
[4] Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
Duflot, Marie
Fribourg, Laurent
Herault, Thomas
Lassaigne, Richard
Magniette, Frederic
Messika, Stephane
Peyronnet, Sylvain
Picaronny, Claudine
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 195 - 214
[5] Model Checking of Systems with Unreliable Machines Using PRISM
Huang, Xinze
Ding, Zhenyuan
Bi, Zijian
Wang, Yili
Zheng, Kai
Huang, Xin
[J]. 2018 NINTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY IN MEDICINE AND EDUCATION (ITME 2018), 2018, : 872 - 876
[6] Probabilistic symbolic model checking with PRISM: A hybrid approach
Kwiatkowska, M
Norman, G
Parker, D
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 52 - 66
[7] Probabilistic symbolic model checking with PRISM: A hybrid approach
Kwiatkowska M.
Norman G.
Parker D.
[J]. International Journal on Software Tools for Technology Transfer, 2004, 6 (2) : 128 - 142
[8] Model checking epistemic-probabilistic logic using probabilistic interpreted systems
Wan, Wei
Bentahar, Jamal
Ben Hamza, Abdessamad
[J]. KNOWLEDGE-BASED SYSTEMS, 2013, 50 : 279 - 295
[9] Towards Solving Decision Making Problems Using Probabilistic Model Checking
Shi, Ling
Liu, Shuang
Hao, Jianye
Koh, Jun Yang
Hou, Zhe
Dong, Jin Song
[J]. 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 150 - 153
[10] Model Checking of Recursive Probabilistic Systems
Etessami, Kousha
Yannakakis, Mihalis
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (02)

← 1 2 3 4 5 →