Symbolic model checking with rich assertional languages (1997)

by Y Kesten, O Maler, M Marcus, A Pnueli, E Shahar
Venue:In Computer Aided Verification