2 papers
cs.SE2025
Translating a VDM Model of a Medical Device into Kapture
Joe Hare, Leo Freitas, Ken Pierce
As the complexity of safety-critical medical devices increases, so does the need for clear, verifiable, software requirements. This paper explores the use of Kapture, a formal mode…
cs.SE2024
Proceedings of the 22nd International Overture Workshop
Hugo Daniel Macedo, Ken Pierce, Leo Freitas
This volume contains the papers presented at the 22nd International Overture Workshop, held on the 10th of September 2024. This event was the latest in a series of workshops around…