An atomic integer is used to protect a data field of SingleCell. Multiple threads trying to assign or find the value of the field. This verification example is very related to the "simple hash table" example.
Path to example file
Lines of code
116 lines (comments not included)
Lines of specification
34 lines (29.31% of the total)
Note, verification may take a while and has a time-out of 20 seconds.