Package | Description |
---|---|
tests |
package contains a group of tests in order to check different parts of this tool.
|
underDevelopment |
package contains code that is unused, not working or under development.
|
Modifier and Type | Class and Description |
---|---|
class |
TryLiveness
Demonstrates the checking of liveness property of
the SPDF graph.
|
class |
TrySafety
Test verification of safety property of an SPDF graph.
|
Modifier and Type | Class and Description |
---|---|
class |
TryQuasiStatic |