Semantics-based program verifiers for all languages
The chemical abstract machine