Một DSL nhỏ có thể chứng minh được tính chính xác theo cấu trúc để => bpf sẽ rất thú vị.
58