Shiva Nejati

From SE Wiki
Revision as of 16:36, 22 December 2010 by 128.100.4.130 (Talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


  • Home
  • People
  • Publications
  • Theses
  • Courses
  • Projects
  • Events
  • Info for New Students
  • Reading Group
  • Software
  • Funding
  • FM Links


PhD :: Shiva Nejati

Publications

Interests

model checking and automated reasoning

Contact Information

PHD Thesis

[ 2003 -- Current ] N/A

Advisors

  • Marsha Chechik


MSC Thesis

[ 2002 -- 2003 ] Refinement Relations on Partial Specifications

Advisors

  • Marsha Chechik


Publications

2003

2003

  • S. Nejati. ``Refinement Relations on Partial Specifications , Master Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, June, 2003
  • S. Nejati and A. Gurfinkel. ``Stuttering Refinement on Partial Systems, in Proceedings of the Eighteenth Annual IEEE Symp.on Logic in Computer Science (LICS'03), Short Paper, June, 2003


For questions and suggestions contact the webmaster Formal Methods Group, CS Department, University of Toronto 2004