Home » Software for Reaction Systems

Software for Reaction Systems

Reaction Systems Model Checker allows for model checking of reaction systems and their properties expressed in rsCTL. The theory behind the functionality implemented in this tool is described in [1].

[1] Artur Meski, Wojciech Penczek, Grzegorz Rozenberg: Model checking temporal properties of reaction systems. Information Sciences 313: 22-42 (2015)