Informal Domains

    • Computer programs are formal.
    • Programs describe Machines that have limited and precisely describable behaviors and properties, constructed from a small and well-defined repertoire of Machine operations and state components.