Advertisement

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
Advertisement