Skip navigation links

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.
Skip navigation links

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