Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    The Real Numbers in Z

    2nd BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 14th - 15th July 1997


    W.R. Oliveira & R.S.M. Barros


    Exact real number computation is a fast growing field with applications varying from debugging to specification of numerical to program.

    We present a specification of the real numbers represented as infinite lists of signed digits in Z.

    The expressive power and closeness to usual set theoretical mathematical notation gives us a clean and readable specification which is further directly implementable.

    A comparison with other formal methods is given together with a partial proof that the object being specified is actually the real numbers.


    PDF filePDF Version of this Paper (222kb)