|
|
Interests: model checking and
automated reasoning
PHD Thesis:
[
2003
--
Current
]
N/A
MSC Thesis:
[
2002
--
2003
]
Refinement Relations on Partial Specifications
2003:
- S. Nejati.
``Refinement Relations on Partial Specifications''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, June, 2003
PS
PDF
Abstract
- 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
PS
PDF
Abstract
|
