used in developing computer systems are mathematically based techniques for describing system properties
mathematically-based techniques for describing system properties - also known as formal description techniques (fdts)
mathematically-based techniques used to prove a program is correct