Formal Analysis of Linear Control Systems Using Theorem Proving.
Adnan RashidOsman HasanPublished in: ICFEM (2017)
Keyphrases
- theorem proving
- formal analysis
- control system
- first order logic
- decision procedures
- theorem prover
- inference rules
- proof planning
- automated deduction
- term rewriting
- proof procedure
- automated reasoning
- automatic programming
- formal methods
- geometry theorem proving
- parallel search
- consequence finding
- automated theorem proving
- logical inference
- agent model
- combinatorial search