Analyzing tabular requirements specifications using infinite state model checking.

Tevfik Bultan, Constance L. Heitmeyer

Browse the full MEMOCODE paper archive.