VST

帶有來自

安德魯·W·阿佩爾（Andrew W.

許可證文件具有有關版權，許可和權限的信息。

如何安裝：

請參閱此處以獲取說明。

文件:

我們的網頁描述了項目的目標，並具有許多相關出版物的鏈接。

有關如何使用可驗證C的介紹，請閱讀手冊或諮詢軟件基礎第5卷：可驗證的C，用於練習的教程。

Andrew W. Appel等人的計劃邏輯，劍橋大學出版社，2014年。可在精裝書上找到。