Nishant Sinha
Software Engineering Institute
Publications by Nishant Sinha
-
Assume-Guarantee Reasoning for Deadlock
September 01, 2006 • Technical Note
Sagar ChakiNishant Sinha
This report shows how L^F can be used for compositional regular failure language containment and deadlock detection, using non-circular and circular assume-guarantee rules.
read -
Verification of Evolving Software via Component Substitutability Analysis
December 01, 2005 • Technical Report
Sagar ChakiEdmund ClarkeNatasha Sharygina
This 2005 report describes the application of the SEI Architecture Tradeoff Analysis Method (ATAM) to the U.S. Army's Warfighter Information Network-Tactical (WIN-T) system.
read -
A Basis for Composition Language CL
September 01, 2002 • Technical Note
James IversNishant SinhaKurt C. Wallnau
This report describes the composition language CL and its rudimentary graphical syntax, and defines and illustrates the compositional semantics for CL using Hoare's CSP.
read