Formal verification 'apps'

Looking to create a market in formal verification apps, OneSpin Solutions has launched a software platform that allows third party companies with limited knowledge of formal technology to develop and deliver domain specific formal based apps.






In Depth Electronics Features

Electronics Products

Electronics Videos

Researchers from the University of Illinois describe how heat-triggered self-destructing electronic devices work and explain what the goal is.

Electronics Interviews

Electronics Blogs

New Electronics Magazine

New Electronics Magazine

New Electronics is a fortnightly magazine focusing on technological innovation, news and the latest developments in the electronics sector. Downloadable as a digital page turner or PDF file, or offered as a hard copy, the New Electronics magazine is available in a format to suit you.

Subscribe to our Newsletter