[ buster ]
[ Kaynak: mcrl2 ]
Paket: mcrl2 (201409.0-1 ve diğerleri)
mcrl2 için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
mcrl2 Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [www.mcrl2.org]
Benzer paketler:
formal specification language toolset
mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to muCRL. Using its accompanying toolset, systems can be analysed and verified automatically.
This toolset supports a collection of tools for linearisation, simulation, state-space exploration and generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised and analysed.
mcrl2 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.14)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libgcc1 (>= 1:3.4)
- GCC support library
-
- dep: libgl1
- Vendor neutral GL dispatch library -- legacy GL support
-
- dep: libgl2ps1.4
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- Mesa OpenGL utility library (GLU)
- ya da libglu1
- sanal paketi sağlayan libglu1-mesa
-
- dep: libqt4-opengl (>= 4:4.5.3)
- Qt 4 OpenGL module
-
- dep: libqt4-xml (>= 4:4.5.3)
- Qt 4 XML module
-
- dep: libqtcore4 (>= 4:4.8.0)
- Qt 4 core module
-
- dep: libqtgui4 (>= 4:4.8.0)
- Qt 4 GUI module
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ Library v3
mcrl2 indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| amd64 | 201409.0-1+b2 | 7.302,5 kB | 41.872,0 kB | [dosya listesi] |