Space: nickh007/protocol-bench-demo
title: Protocol-Bench & minicheck
sdk: static
license: mit
short_description: Run a model checker in your browser
tags: formal-methods, model-checking, protocol-verification, security, gradio-lite, pyodide, ieee-802-11, 3gpp, krack, verifiable-reasoning
Tags: static, formal-methods, model-checking, protocol-verification, security, gradio-lite, pyodide, ieee-802-11, 3gpp, krack, verifiable-reasoning, region:us