AI & Law: Legal Insights On The Formal Verification Of AI Systems

Lance Eliot
9 min readJan 24, 2023
Here’s how legal enters into the formal verification of AI

by Dr. Lance B. Eliot

For a free podcast of this article, visit this link or find our AI & Law podcast series on Spotify, iTunes, iHeartRadio, plus on other audio services. For the latest trends about AI & Law, visit our website

Abstract: There is an abundance of AI systems being built and fielded, often doing so in a pell-mell rush to get into the marketplace soonest possible. Many of these AI systems are skirting around the verification and validation (V&V) that ought to be taking place. Lawyers are going to be sought to help clients that have gotten into hot water over unsavory AI. AI-savvy lawyers should be generally familiar with the underpinnings of formal verification of computing systems.

Key briefing points about this article:

  • AI is increasingly being used throughout societal applications
  • Much of the AI is being pell-mell rushed into being fielded
  • A lack of dutiful verification and validation (V&V) is widespread
  • Lawyers are going to be brought in and asked to deal with unsavory AI
  • We provide herein a brief overview of formal verification in the computing realm



Lance Eliot

Dr. Lance B. Eliot is a renowned global expert on AI, successful startup founder, global CIO/CTO, , was a top exec at a major Venture Capital (VC) firm.