Summary
Verication of all computational models: The open-source software will be made
publicly available.
More information & hyperlinks