Packages

smartlamp	Provides sample smart-lamp implementation under test for Uppaal TRON.
tron	Provides Uppaal TRON adaptation framework for Java implementations under test (IUT).