Package: alt-ergo (2.0.0-3)

[ Source: alt-ergo  ]

프로그램 검증에 사용되는 자동화된 정리 증명계

Alt-Ergo는 프로그램 검증에 있어 어플리케이션을 대상으로 하는 자동화된 정리 증명계입니다. 등가 이론 X 에 의해 매개변수화 된 합동 폐쇄 알고리즘인, CC(X) 에 기반합니다. Alt-Ergo는 명제 로직, 선형 산술, 해석되지 않는 함수 기호, 연 관 교환 가능 함수 기호, 다형 배열, 사용자 정의 다형 레코드, 다형성 열거 유 형이 내장된 증명계입니다. 임의 사용자 정의 대수 유형, 1차 수량 한정자, 비선 형 산술에 대한 추론이 제한되어 있습니다.

이 패키지는 명령행 실행 및 그래픽 인터페이스로서 증명계를 포함합니다.

Tags: Implemented in: OCaml, User Interface: Graphical User Interface, interface::x11, role::program, Interface Toolkit: GTK

Other Packages Related to alt-ergo

• dep: libatk1.0-0 (>= 1.12.4)

  ATK 접근성 툴킷

• dep: libc6 (>= 2.28)

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

• dep: libcairo2 (>= 1.2.4)

  카이로 2D 벡터 그래픽 라이브러리

• dep: libfontconfig1 (>= 2.12.6)

  일반 글꼴 설정 라이브러리 - 런타임

• dep: libfreetype6 (>= 2.2.1)

  FreeType 2 font engine, shared library files

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0)

  GDK Pixbuf 라이브러리

• dep: libglib2.0-0 (>= 2.35.9)

  C 루틴 GLib 라이브러리

• dep: libgmp10

  Multiprecision 연산 라이브러리

• dep: libgtk2.0-0 (>= 2.24.32)

  GTK+ 그래픽 사용자 인터페이스 라이브러리

• dep: libgtksourceview2.0-0 (>= 2.10.0)

  shared libraries for the GTK+ syntax highlighting widget

• dep: libpango-1.0-0 (>= 1.14.0)

  국제화된 텍스트의 레이아웃 및 렌더링

• dep: libpangocairo-1.0-0 (>= 1.14.0)

  국제화된 텍스트의 레이아웃 및 렌더링

• dep: libpangoft2-1.0-0 (>= 1.14.0)

  국제화된 텍스트의 레이아웃 및 렌더링

• dep: ocaml-base-nox-4.05.0

  virtual package provided by ocaml-base-nox

• dep: zlib1g (>= 1:1.1.4)

  압축 라이브러리 - 런타임

• sug: why

  Package not available

Download alt-ergo

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	3,464.7 kB	18,788.0 kB	[list of files]