Query-based verification of qualitative trends and oscillations in biochemical systems
From MaRDI portal
Publication:969178
DOI10.1016/j.tcs.2010.02.010zbMath1209.68310MaRDI 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
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Model Checking of Biological Systems, Applications of an expressive statistical model checking approach to the analysis of genetic circuits, STL*: extending signal temporal logic with signal-value freezing operator, Probabilistic verification of a biodiesel production system using statistical model checking, Analyzing Oscillatory Behavior with Formal Methods
Uses Software
Cites Work