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 条

[21] Model Checking Failure-Prone Open Systems Using Probabilistic Automata
Ben, Yue
Sistla, A. Prasad
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 148 - 165
[22] On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems
Das, Susmoy
Sharma, Arpit
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, 2023, 13910 : 115 - 131
[23] Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations
Kamide, Norihiro
Yano, Yuki
PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE (ICAART), VOL 2, 2019, : 762 - 769
[24] Test generation from P systems using model checking
Ipate, Florentin
Gheorghe, Marian
Lefticaru, Raluca
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (06): : 350 - 362
[25] Model checking durational probabilistic systems - (Extended abstract)
Laroussinie, F
Sproston, J
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 140 - 154
[26] Model checking probabilistic systems against pushdown specifications
Dubslaff, Clemens
Baier, Christel
Berg, Manuela
INFORMATION PROCESSING LETTERS, 2012, 112 (8-9) : 320 - 328
[27] Logic and Model Checking by Imprecise Probabilistic Interpreted Systems
Termine, Alberto
Antonucci, Alessandro
Primiero, Giuseppe
Facchini, Alessandro
MULTI-AGENT SYSTEMS, EUMAS 2021, 2021, 12802 : 211 - 227
[28] Quantitative refinement and model checking for the analysis of probabilistic systems
McIver, A. K.
FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 131 - 146
[29] Probabilistic Model Checking for Feature-Oriented Systems
Dubslaff, Clemens
Baier, Christel
Klueppelholz, Sascha
TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT XII, 2015, 8989 : 180 - 220
[30] Probabilistic Model Checking
Baier, Christel
DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 1 - 23

← 1 2 3 4 5 →