# Verifying fragility in digital systems with uncertainties using DSVerifier v2.0

> Research article (Journal of Systems and Software, 2019) · cited 12× · AI/ML

**Wikidata**: [openalex:W2922386436](https://www.wikidata.org/wiki/openalex:W2922386436)  
**Source**: https://4ort.xyz/entity/verifying-fragility-in-digital-systems-with-uncertainties-using-dsverifier-v2-0