Prakash Krishnamurthy

Learn More
<i>There are two basic parts to the behavioral specification of distributed systems: safety and progress. In earlier work, we developed a tool to monitor progress properties of CORBA components specified using the temporal operator</i> transient. <i>In this paper, we address the specification and testing of transient properties that are quantified (over(More)
  • 1