Mechanically verifying the correctness of the Fast Fourier Transform in ACL2

This publication has 3 references indexed in Scilit:

• An industrial strength theorem prover for a logic based on Common Lisp
  IEEE Transactions on Software Engineering, 1997
• ACL2 theorems about commercial microprocessors
  Published by Springer Nature ,1996
• Powerlist: a structure for parallel recursion
  ACM Transactions on Programming Languages and Systems, 1994