From Failure to Proof: The ProB Disprover for B and Event-B.
Sebastian KringsJens BendispostoMichael LeuschelPublished in: SEFM (2015)
Keyphrases
- event detection
- linear logic
- event driven
- news articles
- failure prediction
- event recognition
- theorem proving
- theorem prover
- activity recognition
- databases
- multi agent
- knowledge base
- information systems
- social networks
- artificial intelligence
- genetic algorithm
- automated theorem proving
- event types
- failure detection
- database