Symbolic model checking with rich assertional languages. (1997)

by Y Kesten, O Maler, M Marcus, A Pnueli, E Shahar
Venue:In Computer Aided Verification, 9th International Conference, (CAV’97),