Byron Cook

• Computer Aided Verification
• Formal Methods for Industrial Critical Systems