以下是一个使用Dart编写的检查密码是否有效的示例程序：

bool isValidPassword(String password) {
  // 检查密码长度
  if (password.length < 8 || password.length > 16) {
    return false;
  }

  // 检查是否包含至少一个大写字母
  if (!password.contains(RegExp(r'[A-Z]'))) {
    return false;
  }

  // 检查是否包含至少一个小写字母
  if (!password.contains(RegExp(r'[a-z]'))) {
    return false;
  }

  // 检查是否包含至少一个数字
  if (!password.contains(RegExp(r'[0-9]'))) {
    return false;
  }

  // 检查是否包含至少一个特殊字符
  if (!password.contains(RegExp(r'[!@#$%^&*(),.?":{}|<>]'))) {
    return false;
  }

  // 所有条件都满足，密码有效
  return true;
}

void main() {
  String password = "Abc123!@#";
  if (isValidPassword(password)) {
    print("密码有效");
  } else {
    print("密码无效");
  }
}

在上面的示例中，我们定义了一个名为isValidPassword的函数，该函数接受一个字符串参数password并返回一个布尔值，表示密码是否有效。该函数通过一系列条件来检查密码是否满足要求，包括密码长度、是否包含大写字母、小写字母、数字和特殊字符。

在main函数中，我们定义了一个密码字符串password，然后调用isValidPassword函数来检查该密码是否有效。根据函数返回的结果，我们打印出相应的消息。

注意：上述示例只是一种基本的密码验证方法，实际应用中可能需要更复杂的验证规则。