https://1library.co/document/y8gpko5z-webmc-a-model-checker-for-the-web.html