Concurrency Meeting: New applications of Rely/Guarantee thinking

Add to your list(s) Download to your calendar using vCal

• Cliff Jones (Newcastle University)
• Friday 12 August 2022, 11:45-12:10
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

VSO2 - Verified software

After a brief reminder of how rely/guarantee conditions provide compositional development of concurrent programs, two (or maybe only one) recent uses of more general rely/guarantee “thinking” will be covered. One applies the R/G ideas to “mixed-criticality scheduling” which requires extensions to handle real time (and uses the “time band” concept). This application not only requires extensions to the R/G ideas but it also specifies what would normally be thought of as a liveness issue with invariants. If I get time to mention the second application (of R/G thinking), I’ll outline work on security protocols where the interest is in being precise about the assumptions made by thier designers.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.