Tla + araçları TLA + spesifikasyon dili ve artı algoritma dili için bir araç seti, Doç'larıyla birlikte ...
Şimdi İndirin

Tla + araçları Sıralama ve Özet

Tla + araçları Etiketler

simülatör ayrıştırıcı

Tla + araçları Açıklama

TLA + TOOLS, TLA + spesifikasyonlarını, bir simülatör ve model denetleyicisi için "yürütülebilir" TLA + spesifikasyonlarını ele alan bir simülatör ve model denetleyicisini içeren bir program ve bileşenlerin kullanışlı bir koleksiyonudur. TLA + TOOLS paketi içinde ayrıca TLA + Tercüme yardımcı programına bir Pluscal, TLA + spesifikasyonları için bir sözdizimi denetleyicisi de bulabilirsiniz.

Tla + araçları İlgili Yazılım