Package com.uppaal.engine

Provides support for connecting to the UPPAAL verification backend, the primary class to use is the Engine class.

See: Description

Package com.uppaal.engine Description

Provides support for connecting to the UPPAAL verification backend, the primary class to use is the Engine class.

Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.