Scientific Interests » Formal verification