Section: Partnerships and Cooperations

International Initiatives

• WEBCERT

• Title: Verified Trustworthy web Applications

• International Partner (Institution - Laboratory - Researcher):

  • Imperial College London - Department of Computing - Philippa Gardner

• Duration: 2015 - 2019

• Start year: 2015

• See also: JSCert web page

• The WebCert partnership focuses on applying formal methods to the JavaScript language: mechanized specification, development of an executable formal specification, design of a program logic, development of verification tools, and study of secure sub-languages.