Summary
Final cut-off for the public release of the VeriDevOps framework.
More information & hyperlinks