Mike Shearman

Director
TrustInSoft

With 30 years in software development, Mike Shearman brings a deep understanding of the testing landscape and the formal methods approach to exhaustive static analysis.

Disclosure information not submitted.

Presentation(s):

• Target aware static code analysis techniques leveraging Formal Methods for embedded code

  Wednesday, July 10, 2024
  3:10pm – 5:00pm PDT