Predicting Protein Folding Kinetics Via Temporal Logic Model Checking.
Christopher James LangmeadSumit Kumar JhaPublished in: WABI (2007)
Keyphrases
- temporal logic
- predicting protein
- model checking
- protein folding
- secondary structure
- amino acid sequences
- amino acids
- modal logic
- computational methods
- protein sequences
- temporal properties
- model checker
- formal verification
- protein structure
- formal specification
- satisfiability problem
- verification method
- finite state
- concurrent systems
- protein structure prediction
- transition systems
- computation tree logic
- formal methods
- linear temporal logic
- bounded model checking
- reactive systems
- symbolic model checking
- temporally extended
- epistemic logic
- search algorithm