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

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

"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.