0

假设我想为一个接受类型文件的程序建模pdf。

我应该如何在 VDM++ 中模拟接受pdf文件作为输入？

4

1 回答 1

0

原则上，您可以对某些东西如何处理 PDF 文件进行建模。但随后问题就变成了如何在 VDM 中表示 PDF 的结构之一。然后，您将指定程序将对该数据执行哪些功能或操作。您真的在问如何在 VDM 中表示 PDF 文件结构吗？

于 2020-12-07T11:48:11.627 回答