Verification of linear-time temporal properties for reaction systems with discrete concentrations

DOI10.3233/FI-2017-1567zbMATH Open1378.68113OpenAlexW2742475082MaRDI QIDQ4601137FDOQ4601137

Authors: Artur Męski, Maciej Koutny, Wojciech Penczek 

Publication date: 19 January 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1567

Recommendations

• Towards quantitative verification of reaction systems
• Model checking temporal properties of reaction systems
• Complexity of model checking for reaction systems
• Abstract interpretation based verification of temporal properties for BioAmbients
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

zbMATH Keywords

reaction systemsbounded model checkinglinear-time temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (9)

• Languages of distributed reaction systems
• Plug-in context providers for reaction systems
• Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems
• Controllability of reaction systems
• Model checking temporal properties of reaction systems
• Verification of spatial and temporal modalities in biochemical systems
• Asynchrony and persistence in reaction systems
• Evolvability of reaction systems and the invisibility theorem
• Towards quantitative verification of reaction systems

This page was built for publication: Verification of linear-time temporal properties for reaction systems with discrete concentrations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4601137)