University of Cambridge > > Isaac Newton Institute Seminar Series > Concurrency Meeting: New applications of Rely/Guarantee thinking

Concurrency Meeting: New applications of Rely/Guarantee thinking

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity