Seguir
Harsh Raju Chamarthi
Harsh Raju Chamarthi
Intel Corporation
Dirección de correo verificada de ccs.neu.edu
Título
Citado por
Citado por
Año
Integrating testing and interactive theorem proving
HR Chamarthi, PC Dillinger, M Kaufmann, P Manolios
arXiv preprint arXiv:1105.4394, 2011
602011
The ACL2 sedan theorem proving system
HR Chamarthi, P Dillinger, P Manolios, D Vroon
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
542011
Towards development of complete and conflict-free requirements
A Moitra, K Siu, A Crapo, H Chamarthi, M Durling, M Li, H Yu, P Manolios, ...
2018 IEEE 26th International Requirements Engineering Conference (RE), 286-296, 2018
302018
Data definitions in the ACL2 sedan
HR Chamarthi, PC Dillinger, P Manolios
arXiv preprint arXiv:1406.1557, 2014
232014
Automated specification analysis using an interactive theorem prover
HR Chamarthi, P Manolios
2011 Formal Methods in Computer-Aided Design (FMCAD), 46-53, 2011
192011
Interactive non-theorem disproving
HR Chamarthi
Northeastern University, 2017
62017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6