Runtime verification for biochemical programs

DOI10.1016/j.entcs.2013.12.003zbMath1334.68109OpenAlexW2087231208WikidataQ62041038 ScholiaQ62041038MaRDI QIDQ271709

Hélène Kirchner, Oana Andrei

Publication date: 19 April 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2013.12.003

zbMATH Keywords

autonomous systemsbiochemical calculusrewriting strategiesruntime verification

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Uses Software

• PORGY
• HOCL
• MGS

Cites Work

• Unnamed Item
• Unnamed Item
• The chemical abstract machine
• MGS
• A Higher-Order Graph Calculus for Autonomic Computing
• A Port Graph Calculus for Autonomic Computing and Invariant Verification
• Monitoring of Real-Time Properties
• A Rewriting Calculus for Multigraphs with Ports
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

This page was built for publication: Runtime verification for biochemical programs