Using Bit Vector Decision Procedures for Analysis of Protein Folding Pathways

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.