项目组A的任务是开发一个内存倍速软件，该软件为PC提供比物理内存更大的可见内存。这个
题型：单项选择题
问题：
项目组A的任务是开发一个内存倍速软件，该软件为PC提供比物理内存更大的可见内存。这个功能是通过标识、收集和重分配已经被分配给现有应用但未被使用的内存块而实现的。未用块被重分配给需要追加内存的应用进程。使用形式化方法描述这一规格说明，以下说法错误的是______。
A．该软件的数据不变式是：内存块的起始地址、结束地址，以及是否使用的标记等信息
B．该软件的数据不变式是：任何给定块在某一时刻只能分配给一个程序
C．该软件可能的操作是：添加、删除、转让和查找等
D．该软件的状态是：已用和未用的标记
