The formalization of biological systems using computational modelling approaches as an alternative to mathematical-based methods has recently received much interest because computational models provide a deeper mechanistic understanding of biological systems. In particular, formal verification, complementary approach to standard computational techniques such as simulation, is used to validate the system correctness and obtain critical information about system behaviour. In this study, we survey the most frequently used computational modelling approaches and formal verification techniques for computational biology. We compare a number of verification tools and software suites used to analyse biological systems and biochemical networks, and to verify a wide range of biological properties. For users who have no expertise in formal verification, we present a novel methodology that allows them to easily apply formal verification techniques to analyse their biological or biochemical system of interest.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10169095 | PMC |
| http://dx.doi.org/10.1098/rsif.2023.0019 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker.
Form Methods Syst Des
April 2022
Institute for Algebra, Johannes Kepler University, Linz, Austria.
Unlabelled: Automated reasoning techniques based on computer algebra have seen renewed interest in recent years and are for example heavily used in formal verification of arithmetic circuits. However, the verification process might contain errors. Generating and checking proof certificates is important to increase the trust in automated reasoning tools.
View Article and Find Full Text PDFA Linguistic-Sensorimotor Model of the Basic-Level Advantage in Category Verification.
Cogn Sci
December 2024
Department of Psychology, Maynooth University.
People are generally more accurate at categorizing objects at the basic level (e.g., dog) than at more general, superordinate categories (e.
View Article and Find Full Text PDFEnsuring reliability in electronic examinations through UPPAAL-based trustworthy design.
PeerJ Comput Sci
October 2024
School of Information Science and Technology, Northeast Normal University, Changchun, China.
Electronic examination serves as an efficient method for assessing learning outcomes, yet the integration of computers into exam processes introduces potential for unreliability. In this article, we propose a formal model for electronic examinations using timed automata, providing a structured approach to understanding and managing the complexities. The electronic examination process is modeled by defining four UPPAAL templates, .
View Article and Find Full Text PDF"The Truth Is, We Must Miss Some": A Qualitative Study of the Patient Eligibility Screening Process, and Automation Perspectives, for Cancer Clinical Trials.
Cancer Med
December 2024
Laboratoire de Génie Industriel, CentraleSupélec-Paris-Saclay Campus, Gif Sur Yvette, France.
Article Synopsis
- Recruiting cancer patients for clinical trials is challenging due to the complex eligibility assessment process, which involves interactions among healthcare professionals and patients.
- A study in France revealed that while technological support like Clinical Trial Recruitment Support Systems (CTRSS) could enhance pre-screening, manual verification remains crucial for ensuring accuracy in patient-trial matching.
- The success of recruitment efforts relies on understanding the interplay of material, organizational, and human factors, as well as the motivations of all stakeholders involved.
Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques.
Front Mol Biosci
November 2024
School of Interdisciplinary Engineering and Sciences (SINES), National University of Sciences and Technology (NUST), Islamabad, Pakistan.
Hypoxia-inducible factor-1 (HIF-1) regulates cell growth, protein translation, metabolic pathways and therefore, has been advocated as a promising biological target for the therapeutic interventions against cancer. In general, hyperactivation of HIF-1 in cancer has been associated with increases in the expression of glucose transporter type-1 (GLUT-1) thus, enhancing glucose consumption and hyperactivating metabolic pathways. The collective behavior of GLUT-1 along with previously known key players AKT, OGT, and VEGF is not fully characterized and lacks clarity of how glucose uptake through this pathway (HIF-1) probes the cancer progression.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!