Model checking temporal properties of reaction systems

DOI10.1016/j.ins.2015.03.048zbMath1387.68167OpenAlexW1995984957MaRDI QIDQ1749193

Grzegorz Rozenberg, Wojciech Penczek, Artur Męski

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 checkingtemporal logicreaction system

Mathematics Subject Classification ID

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

Related Items

Complexity of model checking for reaction systems ⋮ Controlled reversibility in communicating reaction systems ⋮ Plug-in context providers for reaction systems ⋮ Reaction Systems, Transition Systems, and Equivalences ⋮ Unnamed Item ⋮ Facilitation in reaction systems ⋮ Simulation of reaction systems by the strictly minimal ones ⋮ Simulating reversible computation with reaction systems ⋮ Controllability of reaction systems ⋮ Model checking temporal properties of reaction systems ⋮ Ranks of strictly minimal reaction systems induced by permutations ⋮ A process algebraic approach to reaction systems ⋮ Asynchrony and persistence in reaction systems ⋮ Reaction systems with influence on environment ⋮ Towards Quantitative Verification of Reaction Systems ⋮ Transition graphs of reversible reaction systems ⋮ Languages of distributed reaction systems

Uses Software

• CUDD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complexity of model checking for reaction systems
• Minimal and almost minimal reaction systems
• On probabilistic and quantum reaction systems
• Reaction automata
• Dependency graphs and mass conservation in reaction systems
• Model-checking in dense real-time
• An excursion in reaction systems: from computer science to biology
• Introducing time in reaction systems
• Model checking temporal properties of reaction systems
• Functions and sequences generated by reaction systems
• FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC
• On State Sequences Defined by Reaction Systems
• A TOUR OF REACTION SYSTEMS
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Graph-Based Algorithms for Boolean Function Manipulation
• Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells
• Fixed Points and Attractors of Reaction Systems
• CONCUR 2004 - Concurrency Theory
• Reaction System Models for the Heat Shock Response
• Symbolic Model Checking of Logics with Actions
• Cycles and Global Attractors of Reaction Systems