PETRAVM Trademark

Computer software design and development; Platform as a service (PAAS) featuring computer software platforms for secure and verifiable computing;; Computer software development; Computer software development in the field of ensuring computational integrity and correctness; Research and development in the field of computer architecture, virtualization, programming languages, and software compilers; Software development in the field of blockchain technology, distributed computing, and internet security; Providing temporary use of on-line non-downloadable software development tools for constructing verifiable and secure applications; Platform as a service (PAAS) featuring computer software platforms for others for virtual machines enabling provable computation and trusted execution environments