Modeling, Verification and Testing of P Systems Using Rodin and ProB

Florentin Ipate; Adrian Ţurcanu

Modeling, Verification and Testing of P Systems Using Rodin and ProB

School of Mathematical & Computer Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we then use to implement two P-system models in the Rodin platform. For each of the two models, we use the associated Pro-B model checker to verify properties and we present some of the results obtained.

Original language	English
Title of host publication	Proceedings of Ninth Brainstorming Week on Membrane Computing
Publisher	Fénix Editora
Pages	209-219
Number of pages	11
ISBN (Print)	9788461518371
Publication status	Published - 2011
Event	9th Brainstorming Week on Membrane Computing 2011 - Sevilla, Spain Duration: 31 Jan 2011 → 4 Feb 2011

Conference

Conference	9th Brainstorming Week on Membrane Computing 2011
Abbreviated title	BWMC 2011
Country/Territory	Spain
City	Sevilla
Period	31/01/11 → 4/02/11

Cite this

@inproceedings{590ffd3c45bb453d9f84e6c3959b1fac,

title = "Modeling, Verification and Testing of P Systems Using Rodin and ProB",

abstract = "In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we then use to implement two P-system models in the Rodin platform. For each of the two models, we use the associated Pro-B model checker to verify properties and we present some of the results obtained.",

author = "Florentin Ipate and Adrian {\c T}urcanu",

year = "2011",

language = "English",

isbn = "9788461518371",

pages = "209--219",

booktitle = "Proceedings of Ninth Brainstorming Week on Membrane Computing",

publisher = "F{\'e}nix Editora",

note = "9th Brainstorming Week on Membrane Computing 2011, BWMC 2011 ; Conference date: 31-01-2011 Through 04-02-2011",

}

TY - GEN

T1 - Modeling, Verification and Testing of P Systems Using Rodin and ProB

AU - Ipate, Florentin

AU - Ţurcanu, Adrian

PY - 2011

Y1 - 2011

N2 - In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we then use to implement two P-system models in the Rodin platform. For each of the two models, we use the associated Pro-B model checker to verify properties and we present some of the results obtained.

AB - In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we then use to implement two P-system models in the Rodin platform. For each of the two models, we use the associated Pro-B model checker to verify properties and we present some of the results obtained.

M3 - Conference contribution

SN - 9788461518371

SP - 209

EP - 219

BT - Proceedings of Ninth Brainstorming Week on Membrane Computing

PB - Fénix Editora

T2 - 9th Brainstorming Week on Membrane Computing 2011

Y2 - 31 January 2011 through 4 February 2011

ER -

Modeling, Verification and Testing of P Systems Using Rodin and ProB

Abstract

Conference

Fingerprint

Cite this