몰리 무료 및 오픈 소스 크로스 플랫폼 판자 모달 로직
지금 다운로드

몰리 순위 및 요약

몰리 태그

공식 공식을 증명하십시오 논리를 증명하십시오 수식 영사 입증하다 프로 비트

몰리 설명

모달 로직을위한 무료 및 오픈 소스 크로스 플랫폼 판사 MOLLE는 모달 시맨틱 TableAux 방법을 활용합니다. MOLLE은 생성 된 모델의 대화식 표현으로 매우 유용한 그래픽 인터페이스를 특징으로합니다 .NOTE : MOLLE는 AFL (Academic Free License) 조건에 따라 라이센스 및 배포됩니다. 요구 사항 : · 자바 이 릴리스에서는 새로운 기능 : · 명제 모달 로직의 공식을 증명합니다 · 명시적인 프레임 속성으로 증명 : {반사성} (더 많이 ...) · 증거 TableAux 및 해상도 단계를 시각화하십시오 · 예제 및 반대 샘플의 모델 시각화

몰리 관련 소프트웨어