Model checking temporal properties of reaction systems

DOI10.1016/J.INS.2015.03.048MaRDI QIDQ1749193zbMATH OpenOpenAlexFDO

Authors Artur Męski, Wojciech Penczek, Grzegorz Rozenberg

Publication date 16 May 2018

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2015.03.048

zbMATH Keywords

model checkingreaction systemtemporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification of linear-time temporal properties for reaction systems with discrete concentrations
• Complexity of model checking for reaction systems
• A logic of behaviour in context
• On the Model Checking Problem for Some Extension of CTL*
• Model checking of biological systems

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• A tour of reaction systems
• An excursion in reaction systems: from computer science to biology
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• CONCUR 2004 - Concurrency Theory
• Complexity of model checking for reaction systems
• Cycles and global attractors of reaction systems
• Dependency graphs and mass conservation in reaction systems
• Fixed points and attractors of reaction systems
• Functional constructions between reaction systems and propositional logic
• Functions and sequences generated by reaction systems
• Graph-Based Algorithms for Boolean Function Manipulation
• Introducing time in reaction systems
• Minimal and almost minimal reaction systems
• Model checking temporal properties of reaction systems
• Model-checking in dense real-time
• On probabilistic and quantum reaction systems
• On state sequences defined by reaction systems
• Reaction System Models for the Heat Shock Response
• Reaction automata
• Reaction systems
• Reaction systems: a natural computing approach to the functioning of living cells
• Symbolic Model Checking of Logics with Actions

Cited in

(22)

• Verification of linear-time temporal properties for reaction systems with discrete concentrations
• Facilitation in reaction systems
• Simulation of reaction systems by the strictly minimal ones
• Simulating reversible computation with reaction systems
• Complexity of model checking for reaction systems
• Verification, Model Checking, and Abstract Interpretation
• Languages of distributed reaction systems
• Plug-in context providers for reaction systems
• Ranks of compositionally closed minimal reaction systems
• A logic of behaviour in context
• Controllability of reaction systems
• Model checking temporal properties of reaction systems
• Ranks of strictly minimal reaction systems induced by permutations
• Controlled reversibility in communicating reaction systems
• Reaction systems with influence on environment
• Reaction Systems, Transition Systems, and Equivalences
• Asynchrony and persistence in reaction systems
• Transition graphs of reversible reaction systems
• scientific article; zbMATH DE number 7603548 (Why is no real title available?)
• Computation Tree Regular Logic for Genetic Regulatory Networks
• Towards quantitative verification of reaction systems
• A process algebraic approach to reaction systems

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Model checking temporal properties of reaction systems

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