|
1
|
A Stuttering-Robust Temporal Logic with "Next" but without "Previous"
– Monica Marcus, Amir Pnueli
- 1996
|
|
1
|
A Temporal Methodology for Proving Refinement between Reactive Systems
– Monica Marcus
- 1999
|
|
1
|
Using ghost variables to prove refinement
– Monica Marcus, Amir Pnueli
- 1996
|
|
20
|
A verifier for interactive, data-driven web applications
– A Deutsch, M Marcus, L Sui, V Vianu, D Zhou
- 2005
|
|
82
|
Symbolic model checking with rich assertional languages
– Y. Kesten, O. Maler, M. Marcus, A. Pnueli, E. Shahar
- 1997
|
