Formalizing the Institution for Event-B in the Coq Proof Assistant.
Conor ReynoldsPublished in: ABZ (2021)
Keyphrases
- theorem prover
- event detection
- theorem proving
- news articles
- test bed
- automated theorem proving
- linear logic
- complex events
- data sets
- condition action rules
- natural deduction
- formal methods
- first order logic
- higher education
- inference rules
- temporal patterns
- software engineering
- event driven
- event recognition
- knowledge representation
- information retrieval
- data mining
- real world
- event types
- database
- geometry theorem proving