SYNERGY
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and...
Publications
1 shownFrequent Co-Authors
Researcher Info
- h-index
- 1
- Publications
- 1
- Citations
- 251
- Institution
- Indian Institute of Technology Bombay
External Links
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.