Bend 언어가 타입과 증명 체계를 병렬 실행 모델에 결합해 프로그램의 성질을 확인하는 방향을 공개했습니다. 개발자는 LAWS와 PROOF에 필요한 조건과 증명을 작성하고 CPU 및 GPU 실행을 활용할 수 있습니다. 공식 사이트의 속도 사례는 특정 하드웨어와 작업의 자체 측정입니다. 관련 공개 저장소도 불변조건을 먼저 형식화해야 함을 보여주며 초기 구현의 오류 가능성을 남겨둡니다. 모든 버그가 사라지는 언어라기보다 명시한 요구와 실행 코드를 함께 검증하려는 시도로 봐야 합니다.