Beth Levy

Formal computer verification in the State Delta Verification System (SDVS)

Leo Marcus, Jeffrey Cook, Ivan Filippenko, 1991 .

Smashing the stack for fun and prot

Beth Levy, B. Levy, 1996 .

Using the State Delta Verification System (SDVS) for Hardware Verification

Leo Marcus, Beth Levy, Telis Menas, 1992, TPCD.

Conceptual Representations in Lan-guage Activity and Gesture

Beth Levy, Dwight Mcneill, Dwight Mcneill, 1980 .

Using SDVS to Assess the Correctness of Ada Software used in the Midcourse Space Experiment.

Beth Levy, Telis Menas, J. M. Bouler, 1994 .

Microcode verification using SDVS-the method and a case study

Beth Levy, 1984, MICRO 17.