Verification of combinational logic in Nuprl

This publication has 6 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• Building theories in Nuprl
  Published by Springer Nature ,1989
• A Proof of Correctness of the Viper Microprocessor: The First Level
  Published by Springer Nature ,1988
• A higher-order implementation of rewriting
  Science of Computer Programming, 1983
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979