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)

    “Our science has become terrible, our research dangerous, our findings deadly. We physicists have to make peace with reality. Reality is not as strong as we are. We will ruin reality.”
    —Friedrich Dürrenmatt (1921–1990)