Indian Institute of Technology Bombay

education IN
11
Publications
18,276
Citations
14
Researchers

Publications

View All

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...

2006 Proceedings of the 14th ACM SIGSOFT i... 251 citations

Affiliated Researchers

Institution Info

Type
education
Country
IN
Publications
11
Citations
18,276

External Links

Identifiers

ROR
https://ror.org/02qyf5152