Pritom Rajkhowa

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 3

Top Topics

Defeasible Logic Programming

Computer Assisted

Top Venues

Publications

Pritom Rajkhowa, Fangzhen Lin
VIAP 1.1 - (Competition Contribution). TACAS (3) (2019)
Pritom Rajkhowa, Fangzhen Lin
Extending VIAP to Handle Array Programs. VSTTE (2018)
Pritom Rajkhowa, Fangzhen Lin
VIAP - Automated System for Verifying Integer Assignment Programs with Loops. SYNASC (2017)
Pritom Rajkhowa, Shyamanta M. Hazarika, Guillermo Ricardo Simari
An Application of Defeasible Logic Programming for Firewall Verification and Reconfiguration. QSHINE (2013)