5 citations · 5 across the 3 of their papers we have counts for
4 papers
Further Progress Towards Operation Proof Obligation Generation for VDM
Nick Battle, Carlo Rende, Peter Gorm Larsen
The VDM formalism can ensure that models are internally consistent. Potential inconsistencies are highlighted by assertions called proof obligations. This paper is an update to the…
A Multi-Simulation Bridge for IoT Digital Twins
Marco Picone, Samuele Burattini, Marco Melloni +6
The increasing capabilities of Digital Twins (DTs) in the context of the Internet of Things (IoT) and Industrial IoT (IIoT) call for seamless integration with simulation platforms…
Towards Operation Proof Obligation Generation for VDM
Nick Battle, Peter Gorm Larsen
All formalisms have the ability to ensure that their models are internally consistent. Potential inconsistencies are generally highlighted by assertions called proof obligations, a…
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle +2
The Language Server Protocol (LSP) changed the field of Integrated Development Environments(IDEs), as it decouples core (programming) language features functionality from editor sm…