부동산 임대차 매물 검증 서버 ( 70 ') 는 부동산 임대차 매물 에 대한 정보 가 생성 된 상기 부동산 임대차 매물 에 대하 여 공실 여부 를 판단 할 수 있 다 ( 318 ) . 예 를 들 면 , 부동산 임대차 매물 검증 서버 ( 70 ') 는 부동산 전자 계약서 관리 서버 ( 20 ) 로부터 직전 1 년 이내 의 해당 부동산 임대차 매물 에 대한 계약 정보 를 수신 할 수 있 다 . 부동산 임대차 매물 검증 서버 ( 70 ') 는 수신 된 계약 정보 에 기초 하 여 상기 부동산 임대차 매물 에 대한 공실 여부 를 판단 할 수 있 다 . 예 를 들 어 , 부동산 임대차 매물 검증 서버 ( 70 ') 는 수신 된 계약 정보 에 포함 된 계약 기간 이 만료 되 었 는지 여부 에 기초 하 여 상기 부동산 임대차 매물 에 대한 공실 여부 를 판단 할 수 있 다 . 다른 예 로 , 수신 된 계약 정보 는 계약 취소 여부 에 대한 정보 를 포함 할 수 있 다 . 이 경우 , 부동산 임대차 매물 검증 서버 ( 70 ') 는 계약 이 취소 된 경우 상기 부동산 임대차 매물 이 공실 인 것 으로 결정 할 수 있 다 .