A Mathematical Framework for Exploring Protein Folding Dynamics using Probabilistic Model Checking.
Prasenjit BiswasSarit PalSunil P. KhatriPublished in: ICICT (2020)
Keyphrases
- model checking
- mathematical framework
- protein folding
- temporal logic
- image formation
- formal verification
- model checker
- temporal properties
- annealing algorithm
- symbolic model checking
- formal specification
- automated verification
- formal methods
- secondary structure
- timed automata
- computation tree logic
- probabilistic model
- bayesian networks
- amino acids
- deterministic finite automaton
- concurrent systems
- epistemic logic
- verification method
- reactive systems
- protein sequences
- bounded model checking
- coarse grained
- building blocks
- fine grained
- dynamical systems
- transition systems
- multi agent systems
- image sequences
- motion blur
- linear temporal logic
- np complete