如何在 VDM++ 中模拟接受 pdf 文件作为输入
How to model accepting a pdf file as input in VDM++
假设我想建模一个程序，该程序将接受 pdf.
类型的文件
我应该如何模拟接受 pdf 文件作为 VDM++ 中的输入？
原则上，您可以模拟某物如何处理 PDF 文件。但是接下来的问题就变成了如何在 VDM 中表示 PDF 的结构。然后，您将指定程序将对该数据执行哪些功能或操作。您真的要问如何在 VDM 中表示 PDF 文件结构吗？
假设我想建模一个程序，该程序将接受 pdf.
我应该如何模拟接受 pdf 文件作为 VDM++ 中的输入？
原则上，您可以模拟某物如何处理 PDF 文件。但是接下来的问题就变成了如何在 VDM 中表示 PDF 的结构。然后，您将指定程序将对该数据执行哪些功能或操作。您真的要问如何在 VDM 中表示 PDF 文件结构吗？