research
∙
06/27/2023
Visualization of AI Systems in Virtual Reality: A Comprehensive Review
This study provides a comprehensive review of the utilization of Virtual...
share
research
∙
04/13/2023
Repositioning Tiered HotSpot Execution Performance Relative to the Interpreter
Although the advantages of just-in-time compilation over traditional int...
research
∙
07/20/2022
Modelling the Turtle Python library in CSP
Software verification is an important tool in establishing the reliabili...
research
∙
01/12/2022
Towards Refactoring FRETish Requirements
Like software, requirements evolve and change frequently during the deve...
research
∙
12/08/2021
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
[Context motivation] Eliciting requirements that are detailed and lo...
research
∙
10/18/2021
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
Verification of complex, safety-critical systems is a significant challe...
research
∙
03/19/2021
Building Specifications in the Event-B Institution
This paper describes a formal semantics for the Event-B specification la...
research
∙
08/31/2020
VerifyThis 2019: A Program Verification Competition (Extended Report)
VerifyThis is a series of program verification competitions that emphasi...
research
∙
12/20/2019
Proceedings Fifth Workshop on Formal Integrated Development Environment
This volume contains the proceedings of F-IDE 2019, the fifth internatio...
research
∙
11/22/2018