Software-supported creation of specifications

Numerous checks are run automatically already at the input stage – which is the ideal timing 1):

Contradictions, redundancies, overlaps, gaps, incomplete elements and many others are recognized automatically and shown directly to the user 1):

If possible, automatic suggested corrections are offered at the same time, e.g. automatic adding of mis­sing rules:

LF‑ET also offers automatic suggested optimization, such as potential compressing of rules as shown in the example below:

LF ET points out recognized problems exactly at the same moment that a user has made a reasoning error or has overseen something, i.e. directly at the source. The later a problem or error is recognized, the more time-consuming, difficult and expensive it is to rectify.