Ramaswamy, Vinay

Email Address
ORCID
Disciplines
Research Projects
Organizational Units
Position
Introduction
Research Interests

Filters

1
20101
1
1
Reset filters

Settings

Search Results

Now showing 1 - 1 of 1
  • Publication
    CARTS: A Tool for Compositional Analysis of Real-Time Systems
    (2010-11-01) Phan, Linh T.X.; Lee, Jaewoo; Easwaran, Arvind; Ramaswamy, Vinay; Chen, Sanjian; Lee, Insup; Sokolsky, Oleg
    This paper demonstrates CARTS, a compositional analysis tool for real-time systems. We presented an overview of the underlying theoretical foundation and the architecture design of the tool. CARTS is open source and available for free download at http://rtg.cis.upenn.edu/carts/.