View Proposal

Proposer
Adrian Turcanu
Title
Event-B models of Spiking Neural P systems
Goal
Description
Event-B is a modelling language that can be used to specify mathematical models of transitional systems. Spiking neural P systems are the result of introducing the idea of neurons into membrane computing. The main goal of this project is to give a methodology to obtain the Event-B model of a SN P systems, to apply it on some examples and to verify the properties of the model using Pro-B, a model checker integrated into a platform called Rodin.
Resources
Please contact me for resources to read.
Background
Url
Difficulty Level
High
Ethical Approval
None
Number Of Students
1
Supervisor
Adrian Turcanu
Keywords
Degrees
Back to List