Open Kernel Labs Paper on Formal Verification Wins Top Priz

[news]

CHICAGO, IL -- (MARKET WIRE) -- Nov 17, 2009 --

Open Kernel
Labs, Inc. (OK Labs), the leading global provider of embedded
virtualization softw

Read more...