Skip to Main content Skip to Navigation
Conference papers

Runtime Verification for Biochemical Programs

Abstract : The biochemical paradigm is well-suited for modelling autonomous systems and new programming languages are emerging from this approach. However, in order to validate such programs, we need to define precisely their semantics and to provide verification techniques. In this paper, we consider a higher-order biochemical calculus that models the structure of system states and its dynamics thanks to rewriting abstractions, namely rules and strategies. We extend this calculus with a runtime verification technique in order to perform automatic discovery of property satisfaction failure. The property specification language is a subclass of LTL safety and liveness properties.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Helene Kirchner Connect in order to contact the contributor
Submitted on : Saturday, March 31, 2012 - 11:22:59 AM
Last modification on : Friday, February 4, 2022 - 3:09:35 AM
Long-term archiving on: : Monday, November 26, 2012 - 12:26:17 PM


Files produced by the author(s)


  • HAL Id : hal-00684245, version 1



Hélène Kirchner, Oana Andrei. Runtime Verification for Biochemical Programs. HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011, Apr 2011, Saarbrucken, Germany. ⟨hal-00684245⟩



Record views


Files downloads