Abstract interpretation based verification of temporal properties for BioAmbients

DOI10.1016/j.ic.2010.03.004zbMath1205.68244MaRDI QIDQ989287

Roberta Gori, Francesca Levi

Publication date: 19 August 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2010.03.004

zbMATH Keywords

abstract interpretation; Mobile Ambients and BioAmbients calculus; verification of temporal properties

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• PRISM
• SLMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pathway analysis for BioAmbients
• Bitonal membrane systems: interactions of biological membranes
• A calculus of mobile processes. II
• Mobile ambients
• Validating firewalls using flow logics
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Abstract interpretation of mobile systems
• A spatial logic for concurrency. II
• Modeling and querying biomolecular interaction networks
• BioAmbients: an abstraction for biological compartments
• Model checking mobile ambients
• A spatial logic for concurrency. I
• On abstract interpretation of mobile ambients
• Decidable Extensions of Hennessy-Milner Logic
• Abstract interpretation and application to logic programs
• Shape analysis for mobile ambients
• Systematic design of program transformation frameworks by abstract interpretation
• An Analysis for Proving Temporal Properties of Biological Systems
• Static Analysis
• Programming Languages and Systems
• Programming Languages and Systems
• Brane Calculi
• Computational Methods in Systems Biology
• Computational Methods in Systems Biology