System development and verification