In a long-forgotten corner of a lab far, far away a bug sits idle. He’s waiting for just the right time to strike. Static analysis and testing will not budge him from his hiding place. Is there anything we can do to root out this software bug from his clever code camouflage? In this week’s episode of Fish Fry we investigate the power of formal verification with Quentin Ochem from AdaCore. With virtual light sabers in hand and the “Formal Force” in our hearts, we investigate why the ever-increasing need for software safety and reliability has made formal verification more important than ever before.
Download this episode (right click and save)
Links for December 8, 2017
More information about AdaCore
AdaCore Booklet: Implementation Guidance for the Adoption of SPARK
New Episode of Chalk Talk: IDesignSpec: Executable Register Specification
Click here to check out the Fish Fry Archive.
Click here to subscribe to Fish Fry via Podbean
Click here to get the Fish Fry RSS Feed
Click here to subscribe to Fish Fry via iTunes.
————————————
Fish Fry Executive Interviews
Darrin Billerbeck, CEO – Lattice Semiconductor
Paul Kocher, President – Cryptography Research Inc.
Dave Kleidermacher, CTO – Green Hills Software
Michiel Ligthart, COO – Verific
Adnan Hamid, CEO – Breker Technologies
Jeff Waters, VP and General Manager – Altera
Simon Davidmann, CEO – Imperas
Ted Miracco, CEO – SmartFlow Compliance Solutions
Jessica Gomez – Rogue Valley Microdevices
Shishpal Rawat, Chairman – Accellera Systems Initiative
Kevin Bromber, CEO – myDevices
Daniel Hansson, CEO – Verifyter
Dr. Steven LeBoeuf, President – Valencell
Allan Martinson, COO – Starship Technologies
Zhihong Liu, Chairman and CEO – ProPlus Solutions
Taher Madraswala, CEO and President – Open-Silicon>
Kapil Shankar, CEO and Director – AnDAPT
Kim Rowe, Founder and CEO — RoweBots
Lawrence Cooke, Founder and CEO — NovaSolix
Gregg Recupero, CTO — Performance-IP
Carl Alberty, Vice President – Cirrus Logic
Maximilian Odendahl, CEO — Silexica
Finbarr Moynihan, General Manager — MediaTek
Sanjay Pillay, CEO — Austemper
Harold Blomquist, CEO – Helix Semiconductor
Dale Dougherty and Sherry Huss, Co-Founders – Maker Faire
Chris Giovanniello, SVP and Co-Founder – Menlo Micro
