Query-based verification of qualitative trends and oscillations in biochemical systems

DOI10.1016/j.tcs.2010.02.010zbMath1209.68310OpenAlexW1996074994MaRDI QIDQ969178

Paolo Ballarini, Maria Luisa Guerriero

Publication date: 11 May 2010

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

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

zbMATH Keywords

model-checkingstochastic methodsqualitative/quantitative analysis of biochemical systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Model Checking of Biological Systems ⋮ Probabilistic verification of a biodiesel production system using statistical model checking ⋮ Analyzing Oscillatory Behavior with Formal Methods ⋮ A formal approach for tuning stochastic oscillators ⋮ STL*: extending signal temporal logic with signal-value freezing operator ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Uses Software

• PRISM
• BIOCHAM
• MC2

Cites Work

• Unnamed Item
• Unnamed Item
• The temporal semantics of concurrent programs
• Probabilistic model checking of complex biological pathways
• Stochastic Model Checking

This page was built for publication: Query-based verification of qualitative trends and oscillations in biochemical systems