 | Spinja Promela DerleyiciPromela için Java tabanlı bir model denetleyicisi |
| Şimdi İndirin | |
Spinja Promela Derleyici Sıralama ve Özet
Reklamcılık
- Lisans:
- Apache
- Yayıncı adı:
- University of Twente
- yayıncı web sitesi:
- http://code.google.com/u/Theo.Ruys/
- İşletim sistemleri:
- Mac OS X
- Dosya boyutu:
- 237 KB
Spinja Promela Derleyici Etiketler
Spinja Promela Derleyici Açıklama
Spinja Promela Derleyici, Java'da yazılı Promela için ücretsiz ve açık kaynaklı bir model denetleyicisidir. Promela, Spin Model Denetleyicisi için modelleme dilidir. Spinja, Promela dilinin geniş bir alt kümesini desteklemektedir. Kilitlenmelerin, iddiaların, canlılık özelliklerinin ve LTL özelliklerinin (asla istemlerden) olmadığını kontrol etmek için Spinja Promela derleyicisini kullanabileceksiniz. Spinja Doğrulama Modu (Yuvalanmış) Derinlik İlk Arama veya Genişlik İlk Arama'yı kullanabilir. Spinja Promela derleyici çapraz platformdur ve Mac OS X, Windows ve Linux'ta çalışır.
Spinja Promela Derleyici İlgili Yazılım
GWT-TEST-UTILS
GWT istemci tarafı kodunu verimli bir şekilde test etmenizi sağlayan Java çerçevesi ...
2.3 MB
Canon Pixma IP9900 Sürücüsü
Büyük formatınız için bir OS X Sürücü Yükleyici Paketi Canon Pixma IP9900 Renkli Mürekkep Püskürtmeli Fotoğraf Yazıcısı ...
10.4 MB
Canon Pixma IP4300 Sürücüsü
Mac'inizin bir fotoğraf Canon Pixma IP4300 renkli mürekkep püskürtmeli yazıcı ile arayüzlenmesini sağlayacak OS X sürücüsü ...
11.3 MB