All Packages
-
Package Summary Package Description com.uppaal.engine Provides support for connecting to the UPPAAL verification backend, the primary class to use is the Engine class.com.uppaal.model Provides support for UPPAAL models, visit the Document as a starting point.com.uppaal.model.core2 Provides classes for representing an uninstantiated UPPAAL model, visit the Document class as a starting point.com.uppaal.model.core2.lsc com.uppaal.model.io2 Provides support for reading and writing UPPAAL models from and to XTA and XML files.com.uppaal.model.lscsystem com.uppaal.model.system Provides classes for representing instantiated UPPAAL systems.com.uppaal.model.system.concrete com.uppaal.model.system.symbolic