MCTK: a symbolic model checker for MAS

관련 프로그램

• MedIC Automated Pipeline Scheduler 무료

  사용자가 다단계 처리 작업인 파이프라인을 설계하고 실행할 수 있는 MIPAV(의료 이미지 처리, 분석 및 시각화) 플러그인 프레임워크에 대한 확장입니다.

• SmartHASH 무료

  SmartHASH는 분석 과정에서 신음 소리를 내도록 설계된 컴퓨터 포렌식 도구입니다. 따라서 대부분의 조사의 분석 측면에서 상당한 시간을 절약 할 수 있습니다.

• Entropy 무료

  이 프로젝트는 더 이상 소스포지에서 호스팅또는 업데이트되지 않습니다.

• Flash Authoring iPhone Components 무료

  플래시 작성 구성 요소 아이폰 개발에 도움이. 당신은 당신의 소스 위조 ID와 [email protected] 저를 이메일로 보낼 수 있습니다 당신은 프로젝트에 참여하려는 것입니다.

• Asp.net Web Utilities Framework 무료

  Asp.net 웹 유틸리티 프레임워크를 통해 향후 프로젝트에서 저를(및 다른 업체)에게 도움을 줍니다. 프레임 워크는 단순히 일반적인 기능에 대한 간단한 클래스와 사용자 컨트롤 등을 제공합니다 - 박스 및 확장 할 준비 (IS로 - 보증 없음!!)

• DARKSTARgames Open Source Project 무료

  다크스타즈게임즈는 취미 게임 개발 프로젝트입니다. 우리의 3D 엔진 EVEN은 2007을 목표로 게임 출시와 함께 오픈 소스로 게시됩니다. 그러나 우리는 이미 대중에게 흥미로울 수있는 소프트웨어가 있습니다.

• Workgroup Manager 무료

  작업 그룹 관리자(WGM)는 원격 사용자/그룹 관리 및 작업 그룹 최적화를 가능하게 하는 Windows 작업 그룹 관리 도구입니다. 사용자와 그룹을 추가/편집/삭제할 수 있으며 드래그 앤 드롭을 통해 사용자를 그룹에 추가할 수 있습니다.

• ascentemu 무료

  상승은 월드 오브 워크래프트의 C++ 기반 서버 소프트웨어 패키지였습니다.이 리포지토리는 이제 소멸된 프로젝트의 백업입니다.그것은 아르세무에 의해 대체되었다.

• Command-Line Argument Parser For Java 무료

  이것은 수신기 및 이벤트를 통해 개체 지향 방식으로 Java에서 명령줄 인수를 쉽게 구문 분석하기 위한 라이브러리입니다.

• L2IrcBot 무료

  L2IrcBot은 하나 이상의 구성 파일에 의해 정의된 리니지 2-서버의 온/오프라인 상태를 확인하기 위한 PircBot API를 구현한 것입니다.