The paper "A Model-Checked I2C Specification" was presented at SPIN 2021

13.07.2021

Read
Number of comments

The following paper has been presented at the 27th International Symposium (external page SPIN 2021):

"A Model-Checked I2C Specification" by Lukas Humbel, Daniel Schwyn, Nora Hossle, Roni Haecki, Melissa Liccardello, Jan Schaer, David Cock, Michael Giardino and Timothy Roscoe.