Constrained Kripke structure for identifying parameters of biological models
From MaRDI portal
Publication:6131194
DOI10.1016/j.tcs.2024.114505MaRDI QIDQ6131194
Laetitia Gibart, Hélène Collavizza, Jean-Paul Comet
Publication date: 4 April 2024
Published in: Theoretical Computer Science (Search for Journal in Brave)
model checkingautomated parameter and model synthesisbiological system analysisconstrained Kripke structureframeworks for model verification of biological systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On Boolean automata isolated cycles and tangential double-cycles dynamics
- What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
- Greening R. Thomas' framework with environment variables: a divide and conquer approach
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- AEON: attractor bifurcation analysis of parametrised Boolean networks
- A genetically modified Hoare logic
- Family-Based Model Checking with mCRL2
- Applications and Theory of Petri Nets 2005
This page was built for publication: Constrained Kripke structure for identifying parameters of biological models