Formal Verification of Pure Production System Programs.

Rose F. Gamble, Gruia-Catalin Roman, William E. Ball

Browse the full AAAI paper archive.