IIIT-Delhi Institutional Repository

Browsing Computer Science and Engineering by Author "Kochanthara, Sangeeth"

Browsing Computer Science and Engineering by Author "Kochanthara, Sangeeth"

Sort by: Order: Results:

  • Kochanthara, Sangeeth; Purandare, Rahul (Advisor) (2016-11-01)
    Real-time systems are becoming more complex and open, thus increasing their development and verification costs. Although several static verification tools have been proposed over the last decades, they suffer from scalability ...

Search Repository


Advanced Search

Browse

My Account