The application of formal methods to the assessment of high integrity software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Feasible real functions and arithmetic circuits
SIAM Journal on Computing
The Z notation: a reference manual
The Z notation: a reference manual
Software tools to support formal methods
Software tools to support formal methods
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Real number computability and domain theory
Information and Computation
Exact real arithmetic: a case study in higher order programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
IEEE Software
Constructing the real numbers in HOL
HOL'92 Proceedings of the IFIP TC10/WG10.2 Workshop on Higher Order Logic Theorem Proving and its Applications
Putting Numbers into the Mathematical Toolkit
Proceedings of the Z User Workshop
Constructivity, Computability, and Computational Complexity in Analysis
FCT '89 Proceedings of the International Conference on Fundamentals of Computation Theory
Safety-critical Java programs from Circus models
Real-Time Systems
| Hi-index | 0.00 |
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.