TωA (Transition-based ω-Automata)

Modules
	LTSmin Interface
	Parallel Model Checking
	TωA cube representation
	TωA representations using cube-encoded (non-BDD) transition labels.
	Kripke Structures
	Essential TωA types
	TωA representations
	TωA algorithms

Detailed Description

Spot is centered around the TωA (Transition-based ω-Automata) type. This type and its cousins are listed in Essential TωA types. This is an abstract interface. Its implementations are either TωA representations or TωA on-the-fly algorithms. Other algorithms that work on TωA (Transition-based ω-Automata) are listed in TωA algorithms.