Login / Signup
Formal verification confirms the role of p53 protein in cell fate decision mechanism.
Eman Abdelaziz Mahmoud
Mostafa Herajy
Ibrahim E. Ziedan
Hazem I. Shehata
Published in:
Theory Biosci. (2023)
Keyphrases
</>
formal verification
model checking
automated verification
bounded model checking
model checker
decision making
protein sequences
cellular processes
symbolic model checking
decision makers
decision rules
protein protein interactions
program slicing
protein folding
protein structure prediction
cell cycle