《软件基础》系列广泛地介绍了可靠软件的数学基础。

本系列书籍最主要的新颖之处在于，书中的每一处细节都百分之百地形式化且通过了机器验证。 每卷书中的所有文本，包括练习，都是一份 Coq 证明助理的「证明脚本」。

本系列书籍的目标受众包括从高年级本科生到博士以及研究者在内的广大读者。 书中并未假定读者有逻辑学或编程语言的背景，不过一定的数学熟练度会很有帮助。 一学期的课程可以涵盖《逻辑基础》加上《编程语言基础》或《函数式算法验证》中的大部分内容， 当然也可以从二者中均选取一些内容。