Applications of an expressive statistical model checking approach to the analysis of genetic circuits
DOI10.1016/J.TCS.2015.05.018zbMATH Open1337.92138OpenAlexW656780624MaRDI QIDQ498908FDOQ498908
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
model checkingstochastic methodsdelayed stochastic dynamicsqualitative/quantitative analysis of biochemical systems
Genetics and epigenetics (92D10) Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A theory of timed automata
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Probabilistic model checking of complex biological pathways
- A Platform for High Performance Statistical Model Checking – PLASMA
- Computer Aided Verification
- Statistical Model Checking for Networks of Priced Timed Automata
- Stochastic Model Checking
- Studying genetic regulatory networks at the molecular level: delayed reaction stochastic models
- Checking finite traces using alternating automata
- Unified specification and performance evaluation using stochastic process algebras
- Expressing and Computing Passage Time Measures of GSPN Models with HASL
- Probabilistic model checking of biological systems with uncertain kinetic rates
- Query-based verification of qualitative trends and oscillations in biochemical systems
Cited In (4)
Uses Software
This page was built for publication: Applications of an expressive statistical model checking approach to the analysis of genetic circuits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q498908)
