Software verification

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