Watch "NIST Uses AdaCore's SPARK Language as Benchmark for Security" Video at Engineering TV

Log In | About Us | Contact | Advertise

to the ETV Newsletter

Home
Companies
Technology
Programs
Trade Shows
Publications
Search:

Sign In | Support

-->

Related Videos

Now Playing:

ADA 2012 Language and Tools from AdaCore - Design East 2012

Now Playing:

SPARK Programming from AdaCore

Now Playing:

NIST Uses AdaCore's SPARK Language as Benchmark for Security

All Videos

Aerospace/Defense

Analog

Automotive

Communications

Consumer Electronics

EDA/CAD/CAM

Embedded

Energy

Medical

RF/Microwave

Robotics/Automation

Smart Power

Test and Measurement

More Engineering Videos

Follow Engineering TV

NIST Uses AdaCore's SPARK Language as Benchmark for Security

by Curtis Ellzey

on May 10, 2011

Resources

AdaCore

Embedded Systems Conference 2011 Videos on Engineering TV

ESC 2011 Coverage on Electronic Design

Get the Daily Engineering TV Newsletter. Cutting-edge videos delivered to your inbox!

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

Rate
Share
Embed

Permalink:

Size:

Embed Code:

Comments (0)

Add your comment

Powered by Magnify.net Privacy Send Us Feedback

related sites

Related searches:
adacore language security benchmark playing

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.