Programming language for verification and validation