Beth Levy

According to our database, Beth Levy authored at least 2 papers between 1984 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1992

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

Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas

Proceedings of the Theorem Provers in Circuit Design, 1992

1984

Microcode verification using SDVS-the method and a case study.

Beth Levy

Proceedings of the 17th annual workshop on Microprogramming, 1984