Using Bit Vector Decision Procedures for Analysis of Protein Folding Pathways
Christopher J. Langmead
Sumit Kumar Jha
10.1184/R1/6612620.v1
https://kilthub.cmu.edu/articles/journal_contribution/Using_Bit_Vector_Decision_Procedures_for_Analysis_of_Protein_Folding_Pathways/6612620
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.
2003-05-01 00:00:00
computer sciences