Bio: Dr. Byron Cook is a Principal Researcher at Microsoft Research Cambridge, as well as Professor of Computer Science at University College London. His research interests focus on formal verification, theorem proving, operating systems and biology. Byron is particularly well known for his work on the Terminator program termination prover as well as the SLAM software model checker. See http://research.microsoft.com/~bycook for more information.
Byron Cook
A new approach to temporal property verification
May 25th, 2012