why3

1열

1답변

Jessie 플러그인 Frama-c와 통합 알루미늄

통합 방법 Jessie 외부 플러그인 (이유 2.36) Frama-c Aluminum?

static-analysis frama-c why3 2016-09-22

---

0열

1답변

부울 패턴이 이런 식으로 뭔가 할 수 있습니다 (예 : SML로) 다른 ML-변형에서 Why3ML

을에 일치하는 다음 Why3ML match 선언을 사용하여 비슷한 일을하고, 그러나 case l of (true, _) => false | (false,true) => false | (false,false) => true 하면 구문 오류가 발생합니다 : match l with | (true, _) -> false | (false,true

why3 why3ml 2017-11-17

---