Towards Formal Reasoning about Molecular Pathways in HOL.

Sohaib Ahmad Osman Hasan Umair Siddique

Published in: WETICE (2014)

Keyphrases

formal methods
signaling pathways
formal specification
mathematical theory
theorem prover
qualitative reasoning
molecular interactions
theorem proving
spatial reasoning
natural deduction
artificial intelligence
higher order
formal model
inference rules
systems biology