Event-B as DSL in Isabelle and HOL Experiences from a Prototype.

Benoît Ballenghien Burkhart Wolff

Published in: ABZ (2024)

Keyphrases

theorem prover
natural deduction
inference rules
higher order logic
first order logic
event detection
theorem proving
case study
database
events occur
event recognition
test bed
formal methods
object oriented
information retrieval
real world
databases