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

'applic':81 'architectur':43 'blockchain':56 'compil':49 'comput':1,12,19,20,23,31,42,59,88,98 'construct':77 'correct':34 'design':3 'develop':5,22,25,37,51,74 'distribut':58 'download':72 'enabl':96 'ensur':30 'environ':102 'execut':101 'featur':11,87 'field':28,40,54 'integr':32 'internet':61 'languag':46 'line':69 'machin':95 'non':71 'non-download':70 'on-lin':67 'other':92 'paa':10,86 'platform':6,14,82,90 'program':45 'provabl':97 'provid':63 'research':35 'secur':16,62,80 'servic':9,85 'softwar':2,13,21,24,48,50,73,89 'technolog':57 'temporari':64 'tool':75 'trust':100 'use':65 'verifi':18,78 'virtual':44,94

PETRAVM

Owner

Goods & Services