file.pdf (117.2 kB)

Using Bit Vector Decision Procedures for Analysis of Protein Folding Pathways

Download (117.2 kB)
journal contribution
posted on 01.05.2003, 00:00 by Christopher J. Langmead, Sumit Kumar Jha
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.


Publisher Statement

The original publication is available at



Usage metrics