Some documents that we can refer to, that are not specific to a particular project, especially regarding the development process, convenient tools to run audits, and techniques to formally verify programs.
Written for humans and LLMs. Make a RAG of me!