Research outputs SMT-Based Bounded Model Checking for Embedded ANSI-C Software 2009 Type: conference A Lazy Unbounded Model Checker for Event-B 2009 Type: conference Algorithms for Maximum Satisfiability using Unsatisfiable Cores 2008 Type: conference Model Checking with Boolean Satisfiability 2008, Journal of Algorithms in Cognition, Informatics and Logic, 63(1-3), 3-16 Type: article