Commit e8902185 authored by pmaksimo's avatar pmaksimo

more

parent 5abc7a7b
Pipeline #142113 passed with stages
in 4 minutes and 37 seconds
......@@ -5,8 +5,8 @@ menu: true
menu_order: 1
---
This research group focuses on mechanised language specification and program verification.
We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language.
We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client.
This research group focuses on mechanised language specification and program verification.
We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language.
We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client.
We are developing compositional program reasoning techniques that scale, leading to automatic tools for verifying properties of programs.
Our current focus is on reasoning about JavaScript and Concurrency. Much of our work is based on Separation Logic. See details of our fourth-year/MSc course [here](/teaching/separationlogic.html).
Our current focus is on modern concurrent separation logics, the development of tools for compositional symbolic analysis using the multi-language platform Gillian, and the specification and verification of Web programs. Much of our work is based on Separation Logic. See details of our fourth-year/MSc course [here](/teaching/separationlogic.html).
......@@ -7,9 +7,7 @@ menu_order: 4
sub_menu_order: 3
---
We study various forms of program analysis for JavaScript (ECMAScript 5 Strict) programs,
extending this work to include important Web APIs, such as the DOM (including UI Events), JavaScript Promises, and async/await.
We are also interested in the mechanised specification of JavaScript itself.
We study the testing and verification of JavaScript programs and Web APIs, and mechanised language specification using JavaScript as the real-world example language.
#### JaVerT
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment