Computer Sciences

New method ensures complex programs are bug-free without testing

A team of researchers have devised a way to verify that a class of complex programs is bug-free without the need for traditional software testing. Called Armada, the system makes use of a technique called formal verification ...

Engineering

Merlin Labs develops autonomous 55-craft King Air fleet

Inspired by a close encounter with a fellow aircraft during his years as a novice pilot, Merlin Labs founder Matt George found himself drawn to the idea of applying ground transportation safety methods to air traffic. Now, ...

Automotive

A better intelligence test for autonomous driving systems

In 2015, Elon Musk guessed that the industry should expect fully autonomous vehicles by 2018—but that never happened. In 2014, Nissan promised multiple, commercially viable driverless vehicles on the market by 2020. While ...

Electronics & Semiconductors

New tech can double spectral bandwidth in some 5G systems

Some materials, like wood, are insulators that block the flow of electricity. Conductors, such as copper, allow for electricity to flow through them. Other materials—semiconductors—can be either/or depending on conditions ...

Energy & Green Tech

Setting the stage for solid-state battery success

Battery researchers and other engineers from University of California San Diego, with collaboration from the LG Energy Solution, have published a forward-looking perspective article in the journal Joule.