| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Monica Marcus Alin Deutsch , Monica Marcus, Liying Sui , Victor Vianu , Dayou Zhou : A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005 : 539-550 Yonit Kesten , Oded Maler , Monica Marcus, Amir Pnueli , Elad Shahar : Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256 (1-2): 93-112 (2001) Yonit Kesten , Oded Maler , Monica Marcus, Amir Pnueli , Elad Shahar : Symbolic Model Checking with Rich ssertional Languages. CAV 1997 : 424-435 Monica Marcus, Amir Pnueli : Using Ghost Variables to Prove Refinement. AMAST 1996 : 226-240 1 [ 4 ] 2 [ 2 ] [ 3 ] 3 [ 2 ] [ 3 ] 4 [ 1 ] [ 2 ] [ 3 ] 5 [ 2 ] [ 3 ] 6 [ 4 ] 7 [ 4 ] 8 [ 4 ]  ©2006 Association for Computing Machinery |
