A Model-Checked I 2 C Specification.

Lukas Humbel,Daniel David Schwyn,Nora Hossle,Roni Haecki,Melissa Licciardello,Jan Schaer,David Cock,Michael Giardino,Timothy Roscoe

A Model-Checked I 2 C Specification.

2021

Lukas Humbel
Daniel David Schwyn
Nora Hossle
Roni Haecki
Melissa Licciardello
Jan Schaer
David Cock
Michael Giardino
Timothy Roscoe

I2C is a pervasive bus protocol used for querying sensors and actuators, but it is plagued with incompatible devices, violating the specification at various levels.

Keywords:

Computer science

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations