Defining the IEEE-854 Floating-Point Standard in PVS (1995)

by Paul S. Miner
Venue:in PVS. Technical Memorandum 110167, NASA, Langley Research
Citations:37 - 3 self

Active Bibliography

26 Specification of the IEEE-854 Floating-Point Standard in HOL and PVS – Victor A. CarreƱo, Paul S. Miner - 1995
12 Verification of IEEE Compliant Subtractive Division Algorithms – Paul S. Miner, James F. Leathrum, Jr. - 1996
215 PVS: Combining Specification, Proof Checking, and Model Checking – S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas - 1996
201 Learning String Edit Distance – Eric Sven Ristad, Peter N. Yianilos - 1997
156 Validity Checking for Combinations of Theories with Equality – Clark Barrett, David Dill, Jeremy Levitt - 1996
129 Automating First-Order Relational Logic – Daniel Jackson - 2000
128 Alcoa: the alloy constraint analyzer – Daniel Jackson, Ian Schechter, Ilya Shlyakhter
37 The formal verification of a pipelined double-precision IEEE floating-point multiplier – Mark D. Aagaard, Carl-johan H. Seger - 1995
114 A structural view of the Cedar programming environment – Daniel C. Swinehart, Polle T. Zellweger, Richard J. Beach, Robert B. Hagmann - 1986