Applications of an expressive statistical model checking approach to the analysis of genetic circuits

DOI10.1016/j.tcs.2015.05.018zbMath1337.92138OpenAlexW656780624MaRDI QIDQ498908

Marie Duflot, Paolo Ballarini

Publication date: 29 September 2015

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.05.018

zbMATH Keywords

model checkingstochastic methodsdelayed stochastic dynamicsqualitative/quantitative analysis of biochemical systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Genetics and epigenetics (92D10) Systems biology, networks (92C42)

Related Items (1)

A formal approach for tuning stochastic oscillators

Uses Software

• PRISM
• VESTA
• Ymer
• BIOCHAM
• COSMOS
• HASL
• SGN Sim

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic model checking of biological systems with uncertain kinetic rates
• Query-based verification of qualitative trends and oscillations in biochemical systems
• A theory of timed automata
• Checking finite traces using alternating automata
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Studying genetic regulatory networks at the molecular level: delayed reaction stochastic models
• Probabilistic model checking of complex biological pathways
• A Platform for High Performance Statistical Model Checking – PLASMA
• Stochastic Model Checking
• Statistical Model Checking for Networks of Priced Timed Automata
• Unified specification and performance evaluation using stochastic process algebras
• Expressing and Computing Passage Time Measures of GSPN Models with HASL
• Computer Aided Verification

This page was built for publication: Applications of an expressive statistical model checking approach to the analysis of genetic circuits