LNT; originally stood for "Lotos NT"

a language for specifying safety-critical systems

Application domain/field

Safety-critical systems

Type of tool

Specification language
Specification format

Links

Related papers

Related tools

Used by DLC

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.