Conference Proceeding Talk: Improving SMT Solver Integrations for the Validation of B and Event-B Models
Date:
I presented our work of improving ProB’s SMT solver integrations for the validation of B and Event-B models at the 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS) in 2021. The paper was nominated for the best paper award.