EbChecker

I graduated from the University of Southampton with a Master's degree in Software Engineering. My dissertation presented an automata-based explicit model checker for Event-B. Event-B is based on the B Method and is a formal specification language. I implemented the model checker as a plugin for Rodin, a development environment for Event-B based on Eclipse.