Runtime Verification for Biochemical Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Runtime Verification for Biochemical Programs

Hélène Kirchner
Oana Andrei
  • Function : Author
  • PersonId : 863370


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.
Fichier principal
Vignette du fichier
HAS-rv-final-entcs.pdf (365.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00684245 , version 1 (31-03-2012)


  • 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⟩


64 View
74 Download


Gmail Facebook Twitter LinkedIn More