![](/statics/img/blank.png)
MCMAS-SC model checker
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/mcmas-sc/files/MCMAS-SC/Case-Study.zip/download
에 대해 MCMAS-SC model checker
사회적 약정과 이행을 검증하기 위한 MCMAS-SC라는 새로운 모델 검사기. CTLC 논리 검증을 지원하는 MCMAS 모델 검사기의 확장입니다.
관련 프로그램
-
CHLone 무료
CHLone 번들은 SIDS-HDF5의 CGNS/SIDS 준수 매핑 응용 프로그램이며 응용 프로그램 개발을 위한 3가지 인터페이스 수준이 포함되어 있습니다. 다음은 다음과 같습니다.- CgNS /MLL 클론, CGNS / MLL과 동일한 API C1- A2 응용 프로그램 API, SIDS 유형을 기반으로 사용자 인터페이스- L3 로우 레벨 라이브러리, 원시 HDF5 노드를 관리
-
FactotumNOW IAS Reporting 무료 평가판
사실상 IAS 보고는 VPN/IAS 서버에 설치할 수 있는 엔진을 통해 IAS/RRAS(Microsoft VPN) 로그 파일을 수입합니다. 그런 다음 IAS(Microsoft® 인터넷 인증 서비스) 통계는 2분마다 자동으로 업데이트됩니다. 보고서는 편안한 콘솔을 통해 보고 설치된 경우 Microsoft Excel으로 내보낼 수 있습니다. 보고서 뷰어는 네트워크의 모든 데스크톱또는 IAS/RRAS 서버
-
Flash-Creator 무료 평가판
플래시 크리에이터는 애니메이션 플래시 로고, 배너, 인트로, 헤더 및 상자 에서 바로 상상할 수있는 다른 것을 만들기위한 빠르고 상쾌하게 사용하기 쉬운 도구입니다. 그것은 당신에게 플래시 기술에 대한 창조적 인 능력과 지식에 관계없이 누구나 웹 사이트에 전문적인 모습을 제공 할 수있는 매력적인 플래시 애니메이션에 텍스트, 벡터 개체 및 이미지를 혼합 할 수있는 포인트 앤 클릭 디자인 환경을 제공합니다
-
SAW (Small Artificial World) 무료
SAW (작은 인공 세계)는 자연 진화의 시뮬레이션입니다. 세계는 생존의 전투를 위해 서로 상호 작용할 수있는 수많은 인공 존재에 의해 채워집니다. 유전 알고리즘과 신경망이 사용됩니다. 생물학은 영감입니다.
-
evids video intrusion detection system 무료
Evids는 비디오 침입 감지 클라이언트/서버 시스템입니다. 자동화된 감시 소프트웨어는 들어오는 비디오의 풀 타임 모니터링을 제공합니다 신호. 또한, Evids는 많은 에서 실행되는 무료 오픈 소스 프로젝트입니다 플레이트폼.
-
Accessibility plugins for Liferay 무료
이 프로젯의 목적은 Liferay 포털에서 접근성 환경을 향상시키기 위해 확장(플러그인) 세트를 제공하는 것입니다.
-
SynchroJet 무료 평가판
SynchroJet은 로컬 소스, LAN, FTP/SSL과 함께 작업할 수 있는 사용하기 쉬운 백업 및 동기화 유틸리티입니다. SynchroJet을 사용하면 서버, 데스크톱, 랩톱, LAN, FTP 등 간에 모든 중요한 파일을 동기화할 수 있습니다. SynchroJet 동기화는 중요한 데이터를 백업하기위한 훌륭한 안전 측정값이며, 사용자에게 서버 문제가 발생할 경우 로컬에서 작업을 계속할 수 있는 옵
-
ControlK 무료
이것은 JEdit에 대 한 매우 간단한 플러그인. 그것은 Eclipse 컨트롤-K 기능을 추가, 즉: 선택한 텍스트의 다음 발생을 찾을 수 있습니다.
-
emulare 무료
에뮬레어는 아두이노 에뮬레이터입니다.그것은 당신이 에뮬레이션에서 아두이노 프로그램을 실행할 수 있습니다. 그것은 아두이노 Duemilanove의 모든 장치에 대한 모든 지원을 보유하고 있습니다. 디버깅을 위한 GDB 인터페이스가 있습니다. 테스트를 돕기 위한 완전한 그래픽 인터페이스가 있습니다.
-
Music Shuffling 무료
사용자가 아이팟 이나 다른 장치에서 음악을 섞을 수 있도록 .net 3.5 응용 프로그램. 임의 파일을 선택하고 파일당 셔플을 통해 기능을 완료합니다.