This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv cs.LO Logic in Computer Science
cslo-bot.bsky.social
did:plc:cnwaojhwzulwfi7vvfsefwea
Matt Luckcuck, Angelo Ferrando, Fatma Faruq: Varanus: Runtime Verification for CSP https://arxiv.org/abs/2506.14426 https://arxiv.org/pdf/2506.14426 https://arxiv.org/html/2506.14426
2025-06-18T06:57:58.544Z