A Type System Equivalent to a Model Checker
No abstract available.
Related papers
- A type system equivalent to a model checker TOPLAS 2008
- Homer: A Higher-Order Observational Equivalence Model checkER CAV 2009
- A Co-contextual Type Checker for Featherweight Java ECOOP 2017
- SPEC: An Equivalence Checker for Security Protocols APLAS 2016
- Hector: An Equivalence Checker for a Higher-Order Fragment of ML CAV 2012
- Internalizing Indistinguishability with Dependent Types POPL 2024
- Ownership types for safe programming: preventing data races and deadlocks OOPSLA 2002
- A Model Checker for Operator Precedence Languages TOPLAS 2023