TLA + Gereedschap Een Toolkit voor TLA + Specificatietaal en de Pluscal-algoritme-taal, samen met hun ACB ...
Download nu

TLA + Gereedschap Rangschikking & Samenvatting

TLA + Gereedschap Tags

simulator parser

TLA + Gereedschap Beschrijving

TLA + Tools is een nuttige verzameling hulpprogramma's en componenten met een programma voor het TLA + specificaties van TLA +, een simulator- en modelcontrole die een subklasse van "uitvoerbare" TLA + -specificaties aanpakt. In het pakket TLA + Tools kunt u ook een pluscal naar TLA + Translation-hulpprogramma vinden, een syntaxiscontrole voor TLA + -specificaties en een parser.

TLA + Gereedschap Gerelateerde software