An interactive sequent prover for Event-B was built by encoding over 600 proof rules in Prolog inside ProB.
In: Proceedings FMICS, LNCS 12863, pp
1 Pith paper cite this work, alongside 2 external citations. Polarity classification is still indexing.
1
Pith paper citing it
2
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.