SkiNet Release

SkiNet is a formal verification tool of Skillset-based architectures. Created at ONERA - The French Aerospace Lab, France.