Travelled to:1 × France
1 × Italy
Collaborated with:A.Pnueli L.D.Zuck T.Arons J.Xu
Talks about:automat (2) verif (2) parameter (1) invari (1) induct (1) deduct (1) comput (1) assert (1) invis (1)
Person: Sitvanit Ruah
DBLP: Ruah:Sitvanit
Contributed to:
2001
2001Wrote 2 papers:
- CAV-2001-AronsPRXZ #automation #induction #verification
- Parameterized Verification with Automatically Computed Inductive Assertions (TA, AP, SR, JX, LDZ), pp. 221–234.
- TACAS-2001-PnueliRZ #automation #deduction #invariant #verification
- Automatic Deductive Verification with Invisible Invariants (AP, SR, LDZ), pp. 82–97.