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.
Type de document :
Communication dans un congrès
HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011, Apr 2011, Saarbrucken, Germany. 2012
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00684245
Contributeur : Helene Kirchner <>
Soumis le : samedi 31 mars 2012 - 11:22:59
Dernière modification le : jeudi 10 septembre 2015 - 01:08:06
Document(s) archivé(s) le : lundi 26 novembre 2012 - 12:26:17

Fichier

HAS-rv-final-entcs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00684245, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

144

Téléchargements de fichiers

67