Package spdfcore.stanalys

package contains classes to build the solutions for balance equations of a graph and perform safety, liveness analysis, consistency check etc.

See: Description

Package spdfcore.stanalys Description

package contains classes to build the solutions for balance equations of a graph and perform safety, liveness analysis, consistency check etc.
Author:
Pranav Tendulkar