Rely

MaRDI QIDQ53535swMATHFDO

Official website https://mcarbin.github.io/rely/

Described by source

• Programming Unreliable Hardware

Cited in

(9)

• Verifying relative safety, accuracy, and termination for program approximations
• Houdini
• ACCEPT
• Chisel
• EnerJ
• FlexJava
• Green
• Yosys
• Amber

This page was built for software: Rely