Episodes
Friday Dec 08, 2017
Let the Formal Be With You
Friday Dec 08, 2017
Friday Dec 08, 2017
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.
---------------------------------
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
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
Comments (0)
To leave or reply to comments, please download free Podbean or
No Comments
To leave or reply to comments,
please download free Podbean App.