Mission-Critical Cloud Desktop and Mobile Applications
SQL Database access, XML, JSON, I18N string and calendar calculations, RegEx, OpenDoc Format
Towards a cooperative and open framework for the development of certifiable software
Operation System Framework. Toolkit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads.
The Muen platform is a Microkernel that has been formally proven to contain no runtime errors at the source code level.