Promela — Web Pulse coverage

Finding deadlocks in CuTe kernels with SPIN :: https://wpnews.pro/news/finding-deadlocks-in-cute-kernels-with-spin