Saddek Bensalem
Computer Science Laboratory
SRI International

Position:

International Fellow (Formal Methods Group)

Address:

Computer Science Laboratory
SRI International
333 Ravenswood Ave
Menlo Park California 94025, USA

Email: Saddek@csl.sri.com

Tel: 650/859-

Fax: 650/859-2844

Research Interest:

Verification

• Publications
• Talks, Drafts
• InVeSt

All documents are under the responsibility of their authors, and do not represent the official views of SRI. The information is given in good faith, but its accuracy cannot be guaranteed.