Searching protocol for "shelby smart-contracts"
N-version programming for critical implementations
Rigorous Git workflow for clean commits.