4 citations · 5 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 4 cited
Extending Rely-Guarantee thinking to handle Real-Time Scheduling
Cliff B. Jones, Alan Burns
The reference point for developing any artefact is its specification; to develop software formally, a formal specification is required. For sequential programs, pre and post condit…
cs.LO2023
Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
Nisansala P. Yatapanage, Cliff B. Jones
The verification of security protocols is essential, in order to ensure the absence of potential attacks. However, verification results are only valid with respect to the assumptio…