An interactive sequent prover for Event-B was built by encoding over 600 proof rules in Prolog inside ProB.
Butler & Issam Maamria (2013): Practical Theory Extension in Event-B
1 Pith paper cite this work, alongside 12 external citations. Polarity classification is still indexing.
1
Pith paper citing it
12
external citations · OpenAlex
fields
cs.LO 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB
An interactive sequent prover for Event-B was built by encoding over 600 proof rules in Prolog inside ProB.