Models Whose Checks Don't Explode
Abstract elided by the publisher.
Related papers
- Fixing Code that Explodes Under Symbolic Evaluation VMCAI 2020
- Finding code that explodes under symbolic evaluation OOPSLA 2018
- "Don't Care" Modeling: A Logical Framework for Developing Predictive System Models TACAS 2007
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Automated Exploit Generation for Node.js Packages PLDI 2025
- Model checking of hierarchical state machines TOPLAS 2001
- Don't exhaust, don't waste: Resource-aware soundness for big-step semantics JFP 2026
- The principles and practice of probabilistic programming POPL 2013