mesh-model A comprehensive formal model of Bluetooth Mesh security protocols Run verifyMesh.sh to verify all properties.