Formal analysis of the biological circuits using higher-order-logic theorem proving.
Sa'ed AbedAdnan RashidOsman HasanPublished in: SAC (2020)
Keyphrases
- formal analysis
- higher order logic
- theorem proving
- theorem prover
- automated reasoning
- first order logic
- inference rules
- automated theorem proving
- term rewriting
- higher order
- consequence finding
- proof planning
- formal methods
- proof procedure
- conditional logic
- geometry theorem proving
- agent model
- logical framework
- parallel search
- ban logic
- proof search
- belief revision
- fixed point
- knowledge representation
- data model
- equational theories
- knowledge base