Niyas C

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 3

Top Topics

Formal Verification

Computer Programs

Linear Temporal Logic

Bounded Model Checking

Top Venues

Publications

Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking by Transforming Programs with Arrays. LOPSTR (2016)