« Home

Person. Moshe Vardi [vardi]

  • Karen Ostrum George Distinguished Service Professor
  • Rice University
  • 0000-0002-0661-5773
  • https://www.cs.rice.edu/~vardi/

Related

    Institution. Rice University [rice]

    • Houston, Texas
    • https://www.rice.edu/

    Contributions

      Reference. Model Checking of Safety Properties [kupferman-vardi-2001]

      • November 2001
      • Orna Kupferman, Moshe Vardi
      • Formal Methods in System Design 19 291–314
      • 10.1023/A:1011254632723