Modern organizations are defined by their software systems, where the
actual behavior is lost in huge amount of code, buried under myriads of
technical details. Therefore, it gets harder and harder to guarantee that a
software system implements the expected behavior at all times.
Logic Tools is designed specifically to allow for a clear, compact and
unambiguous expression of the semantic of such rules.