Scritical Pairs and Sunification

Cached

Download Links

by Joseph Goguen , Monica Marcus
Citations:1 - 1 self

Documents Related by Co-Citation

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
89 Symbolic model checking with rich assertional languages – Y. Kesten, O. Maler, M. Marcus, A. Pnueli, E. Shahar - 1997
22 A verifier for interactive, data-driven web applications – A Deutsch, M Marcus, L Sui, V Vianu, D Zhou - 2005