multizone-sdk icon indicating copy to clipboard operation
multizone-sdk copied to clipboard

Published 20 hours ago • verified publisher icon hex-five

nanoKernel code location/availability

Open AntonHermann opened this issue 2 years ago • 1 comments

Hey there,

on your website you mention that the MultiZone runtime is formally verifiable and written in Assembly. Is the code of this runtime publicly available anywhere? I wasn't able to find any further information on that.

Thanks in advance, Anton

AntonHermann avatar Sep 21 '22 15:09 AntonHermann

Hi Anton,

Yes: MultiZone runtime components are written 100% in assembly.

Yes: MultiZone runtime components are designed for formal verification - a bit like hw blocks.

MultiZone runtime components are protected by patents US 11,151,262 and PCT/US2019/038774 and available to Hex Five's commercial licensees upon request.

Cesare

cgarlati avatar Sep 21 '22 15:09 cgarlati