Towards Quantitative Verification of Reaction Systems

DOI10.1007/978-3-319-41312-9_12zbMath1476.68092OpenAlexW2478000639MaRDI QIDQ2819155

Maciej Koutny, Artur Męski, Wojciech Penczek

Publication date: 28 September 2016

Published in: Unconventional Computation and Natural Computation (Search for Journal in Brave)

Full work available at URL: https://eprint.ncl.ac.uk/fulltext.aspx?url=224374/F81156CF-6CEC-42EE-9F46-BE12E5A7D16B.pdf&pub_id=224374

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Uses Software

• z3

Cites Work

• Unnamed Item
• Complexity of model checking for reaction systems
• Minimal and almost minimal reaction systems
• On probabilistic and quantum reaction systems
• Dependency graphs and mass conservation in reaction systems
• 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
• Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells
• Fixed Points and Attractors of Reaction Systems
• Reaction System Models for the Heat Shock Response
• Cycles and Global Attractors of Reaction Systems

This page was built for publication: Towards Quantitative Verification of Reaction Systems