M. Marcus

A verifier for interactive, data-driven web applications

Alin Deutsch, Victor Vianu, Liying Sui, 2005, SIGMOD '05.

A Stuttering-Robust Temporal Logic with ``Next'''' but without ``Previous''''

A. Pnueli, M. Marcus, 1996 .

Generalized langford languages

M. Marcus, 1989 .

Symbolic model checking with rich assertional languages

Amir Pnueli, Oded Maler, Elad Shahar, 2001, Theor. Comput. Sci..

Symbolic Model Checking with Rich ssertional Languages

Amir Pnueli, Oded Maler, Elad Shahar, 1997, CAV.

Symbolic Model Checking withRich

A. Pnueli, O. Maler, A. Pnueli, 2022 .

Specification and Verification of Multi-user Data-Driven Web Applications

Monica Marcus, M. Marcus, 2009, WS-FM.