> Industrial logics are really practical and allow you to write all sorts of sophisticated properties that your system should satisfy in a very succinct way.
It sounds like what you think as positives are exactly the things parent comment thinks as negatives.
It sounds like what you think as positives are exactly the things parent comment thinks as negatives.