Formal - Computer Science

Computer Science

  • Formal methods, mathematically-based techniques for the specification, development and verification of software and hardware systems
  • Formal specification, describes what a system should do, not how it should do it
  • Formal verification, proves correctness of a system

Read more about this topic:  Formal

Famous quotes containing the words computer and/or science:

    “The archetype of all humans, their ideal image, is the computer, once it has liberated itself from its creator, man. The computer is the essence of the human being. In the computer, man reaches his completion.”
    —Friedrich Dürrenmatt (1921–1990)

    “Where have those flowers and butterflies all gone
    That science may have staked the future on?
    He seems to say the reason why so much
    Should come to nothing must be fairly faced.....”
    —Robert Frost (1874–1963)