You are hereSafe Virtual Machine for C
Safe Virtual Machine for C
Altreonic’s scalable and formalized technology gives more for less.
Altreonic is now announcing two new products that clearly demonstrate how a formalized development can result in more scalability and less energy consumption. First we present our brand-new Safe Virtual Machine for C in just 3.8 KB. Next we present a port to the ultra low power CoolFlux DSP core of NXP. Formalized development is more than verifying correctness, it actually results in cleaner, more efficient and more scalable architectures.
