DMCA
Poster Paper Prediction of Inherited and Genetic Mutations Using the Software Model Checker SPIN
BibTeX
@MISC{_posterpaper,
author = {},
title = {Poster Paper Prediction of Inherited and Genetic Mutations Using the Software Model Checker SPIN},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Genetic testing is becoming an important tool for detection of many genetic diseases. Designing a genetic test requires accurate data and an efficient means of comparing sequences that are present in the databases. However, as prodigious amount of data continue to emerge from large-scale DNA, RNA and protein projects, querying the database to make important predictions is becoming arduous. To reap the benefits from this wealth of information, it is essential that better tools be designed to analyze these data. In this paper, a model-based approach to gene tests and the analysis of metabolic pathways is proposed. Gene sequences and metabolic processes are modeled using formal language, and predictions are made through the verification mechanism of a software model checker. The technique is demonstrated with models of genes for cystic fibrosis tranmembrane conductance regulator protein and the map kinase pathway. 1
Keyphrases
software model checker spin genetic mutation poster paper prediction map kinase pathway metabolic process model-based approach genetic test gene sequence metabolic pathway formal language gene test accurate data prodigious amount efficient mean verification mechanism important tool protein project important prediction many genetic disease large-scale dna genetic testing software model checker
