[avgcorrection]

Blog post with submission title: “Fault is a language for modeling systems that compiles down to SMT”

This is in the power of the submitter since the submitter is the author of this piece.

[cinntaile]

That would be an incorrect description of the content. The point of the article isn't to introduce the language, the point is to sollicit feedback.