Symbolic model checking with rich assertional languages Symbolic model checking with rich assertional languages Y. Kesten, O. Maler, M. Marcus, A. Pnueli, E. Shahar Presented…