 | Zing +Zing est un moteur d'exploration de l'état pour les modèles de systèmes logiciels simultanés. |
| Télécharger maintenant | |
Zing + Classement & Résumé
Publicité
- Licence:
- Freeware
- Prix:
- Free
- Nom de l'éditeur:
- By IdeaGroup
- Site Internet de l'éditeur:
- Systèmes d'exploitation:
- Windows 95, Windows 2000, Windows 98, Windows Me, Windows, Windows XP, Windows NT
- Exigences supplémentaires:
- Windows 95/98/Me/NT/2000/XP
- Taille du fichier:
- 4.1 MB
- Téléchargements totaux:
- 4316
Zing + Mots clés
Zing + La description
Zing est un moteur d'exploration de l'état pour les modèles de logiciels simultanés. Le langage de modélisation Zing prend en charge la modélisation des appels de procédure, l'allocation de la mémoire dynamique et la création de tâches asynchrone. Zing est utilisé pour modéliser et vérifier les protocoles dans les composants critiques du système d'exploitation Windows, permettant une découverte précoce des scores de bogues de simultané critiques qui auraient été extrêmement difficiles à découvrir plus tard. Écrivez un avis sur ce programme
Zing + Logiciels associés
Poker gagnant
Notre logiciel est sécurisé, sécurisé et signé numériquement. Toutes les transactions sont correctement cryptées et strictement confidentielles. Cette combinaison gagnante de super logiciels, de sécurité complète, de la vie privée absolue et de ...
145.51 KB
Sudoku travaille solitaire
Générez des énigmes Sudoku et jouez-leur à l'aide de cartes au lieu de chiffres. 5 niveaux de difficulté, également des énigmes de lettres et de lettres. Jouez sur votre PC ou imprimez. Meilleur temps roule d'honneur. Plusieurs peaux an ...
4.5 MB
Maman Blackjack
Blackjack égyptien diffère favorablement d'autres jeux avec des graphismes uniques et une grosse coque de couleur inhabituelle. Avec Blackjack égyptien, vous passerez dans les temps précédents et la musique douce vous aidera à f ...
1.4 MB