Greg Gicca from AdaCore speaks with Bill Wong about their safe, secure and reliable software, and discusses their announcement at ESC that NIST used AdaCore's SPARK language as a benchmark for security.
Hosted by: Bill Wong Videography by: Curtis Ellzey Edited by: Curtis Ellzey
Videos that have been watched and reviewed by peers and found to meet the standards of this site are labeled "Magnified."
Anyone can upload or link to a video for this channel. From here, videos are reviewed by site peers, and videos that meet site standards are labeled "Magnified" and become searchable and visible for all site visitors.