ESBMC - bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs...
I am a Lecturer in the School of Computing at Newcastle University and a member of the Advanced Model-Based Engineering and Reasoning (AMBER) research group. My research interests include cyber-physical systems, formal methods, model checking, software verification and computational modelling. [Academic CV].