pipcore微处理器
pipcore mpu (2024-02-20, Coq, 0KB, 下载0次)
Katamaran是Sail规范语言的半自动分离逻辑验证器。它在Sail call的嵌入式版本上工作...,
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions. (2023-07-27, Coq, 0KB, 下载0次)