Các kho mã nguồn mở đang theo dõi của verifast, sắp xếp theo số sao.
Công cụ nguyên mẫu nghiên cứu để xác minh hình thức mô-đun cho các chương trình C, Rust và Java
