UPPAAL model library
| 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 |