Modular Verification of Interactive Systems with an Application to Biology

DOI10.1016/j.entcs.2010.12.006zbMath1283.68204OpenAlexW2107611262WikidataQ113318348 ScholiaQ113318348MaRDI QIDQ5404087

Peter Drábik, Paolo Milazzo, Andrea Maggiolo-Schettini

Publication date: 21 March 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

model checkingsystems biologymodular verificationconcurrent interactive systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Systems biology, networks (92C42)

Related Items (1)

Unnamed Item

Uses Software

• Bio-PEPA
• BIOCHAM

Cites Work

• Synthesis of large dynamic concurrent programs from dynamic specifications
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Probabilistic model checking of complex biological pathways
• Brane Calculi
• Unnamed Item
• Unnamed Item

This page was built for publication: Modular Verification of Interactive Systems with an Application to Biology