Package | Description |
---|---|
spdfcore.stanalys |
package contains classes to build the
solutions for balance equations of a graph and perform safety,
liveness analysis, consistency check etc.
|
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 | Field and Description |
---|---|
private Safety |
SpdfAnalyzer.safety |
Modifier and Type | Field and Description |
---|---|
private Safety |
TryLiveness.safety |
private Safety |
TrySafety.safety |
Modifier and Type | Field and Description |
---|---|
private Safety |
TryQuasiStatic.safety |