Advertisement
News
Advertisement

Photos of the Day: NASA App Finds Errors in Software Logic

Thu, 08/28/2014 - 10:15am
NASA

LISTED UNDER:

New air traffic control software is one potential end use for the IKOS analyzer. (NASA)

Read: IKOS Debugger Zaps Error Rate for Aviation Software Developers

NASA's illustration of the workflow used by IKOS. (NASA)

An early prototype of IKOS's graphical user interface. (NASA)

Advertisement

Share this Story

X
You may login with either your assigned username or your e-mail address.
The password field is case sensitive.
Loading