# PreInfer: Automatic Inference of Preconditions via Symbolic Analysis

> Research article (2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018) · cited 13× · AI/ML

**Wikidata**: [openalex:W2883281296](https://www.wikidata.org/wiki/openalex:W2883281296)  
**Source**: https://4ort.xyz/entity/preinfer-automatic-inference-of-preconditions-via-symbolic-analysis