Verifying and monitoring solutions