Suzuki, Norihisa

1946

• Automatic verification of programs with complex data structures
• Shared memory multiprocessing