NKLAVE

Downloadable computer software for formal verification of software; Downloadable computer software for formal verification of an operating system; Downloadable computer software for formal verification of operating system software; Downloadable computer software for providing development tools to provide formally verified security; Downloadable computer software for providing software development kits (SDK) for providing formally verified security; Downloadable computer software for formal verification of hardware; Downloadable computer software for designing formally verified hardware; Downloadable computer software for encryption providing formally verified guarantees

Computer security consultancy in the field of formally verified hardware and software; Design and development of computer software for formally verified computer hardware and software; Design and development of computer software for formal verification of hardware and software security; Design and development of computer software for formal verification of secure network operations; Design and development of computer software for formal verification of operating system software; Design and development of computer software for providing formal verification; Installation and maintenance of formally verified software; Installation and maintenance of formally verified computer software; Installation and maintenance of formally verified hardware design software; Installation of formally verified software; Installation of formally verified computer software; Installation of formally verified hardware design software; Installation, maintenance and repair of formally verified software; Installation, maintenance and repair of formally verified computer software; Installation, maintenance and repair of formally verified hardware design software