Carnegie Mellon University

Home
Publications
Authors
Nishant Sinha

Nishant Sinha

Nishant Sinha is an SEI alumni employee.

All

Assume-Guarantee Reasoning for Deadlock

September 1, 2006 • Technical Note

By Sagar Chaki , Nishant Sinha

Verification of Evolving Software via Component Substitutability Analysis

December 1, 2005 • Technical Report

By Sagar Chaki , Edmund Clarke , Natasha Sharygina , Nishant Sinha

A Basis for Composition Language CL

September 1, 2002 • Technical Note

By James Ivers , Nishant Sinha , Kurt C. Wallnau

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Advancing Software for National Security
Sponsored by the Department of War, the SEI is a federally funded research and development center managed by Carnegie Mellon University.

Main Office
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

SEI

About Our Work Publications News and Events Education and Outreach Careers

Helpful links

Digital library Blog Podcasts

Connect

Facebook LinkedIn X YouTube

2026 Carnegie Mellon University

Contact Us
Office Locations
Privacy Notice
Legal
www.cmu.edu
2026 Carnegie Mellon University