TLA Toolbox Een geïntegreerde ontwikkelingsomgeving voor het schrijven en controleren van TLA + -specificaties
Download nu

TLA Toolbox Rangschikking & Samenvatting

TLA Toolbox Tags

specificatie gereedschapset

TLA Toolbox Beschrijving

TLA + is een specificatietaal die is ontworpen om te helpen bij het creëren van specificaties op hoog niveau voor zowel gedistribueerde als gelijktijdige systemen. TLA Toolbox is de IDE die is ontworpen om u in staat te stellen de TLC-modelcontrole en TLPS te gebruiken, evenals het TLA + -bestendig systeem om TLA + -specificaties te maken en te verifiëren.

TLA Toolbox Gerelateerde software