Continuing the series that introduces you to the people that create the tools you use every day, in this video R&D lead for expert-level use cases in Incisive Formal Verifier (a/k/a "IFV") Pradeep Goyal talks about the common use cases for "pure" formal users. He also notes how expert-level formal techniques might evolve over the next 5 years -- both alone, and in combination with simulation technologies.
If the embedded video doesn't play, click here.
Please feel free to ask Pradeep questions via the comments below; or click here to jump to the Team Verify home page to "send Team Verify a private message" for forwarding to him offline.
Joe Hupcey III
for Team Verify
On Twitter: http://twitter.com/teamverify, @teamverify
Reference links to prior R&D interviews:
Distinguished Engineer Alok Jain
Incisive Formal R&D team leader Deepak Pant
Incisive Enterprise Verifier R&D Architect Vinaya Singh