Using Bit Vector Decision Procedures for Analysis of Protein Folding Pathways
journal contributionposted on 01.05.2003 by Christopher J. Langmead, Sumit Kumar Jha
Any type of content formally published in an academic journal, usually following a peer-review process.
We explore the use of bit-vector decision procedures for the analysis of protein folding pathways. We argue that the protein folding problem is not identical to the classical probabilistic model checking problem in verification. Motivated by the different nature of the protein folding problem, we present a translation of the protein folding pathways analysis problem into a bounded model checking framework with bit vector decision procedures.We also present initial results of our experiments using the UCLID bit-vector decision procedure.