React ics: Model Checker for Distributed Reaction Systems

Reaction systems provide a qualitative formalism for modeling cellular behavior through facilitation and inhibition. We present an extension of the tool Reactics supporting distributed reaction systems and enabling the model checking of temporal-epistemic properties using the rsctlk logic and a BDD-based verification engine.

Authors

• Marcin Piątkowski Nicolaus Copernicus University
• Artur Męski ICS, Polish Academy of Sciences
• Łukasz Mikulski Nicolaus Copernicus University
• Wojciech Penczek ICS, Polish Academy of Sciences

Keywords

• Reaction Systems
• Model Checking
• Temporal-Epistemic Logics