Harsh Raju Chamarthi

According to our database, Harsh Raju Chamarthi authored at least 5 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

Towards Development of Complete and Conflict-Free Requirements.

Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

2014

Data Definitions in the ACL2 Sedan.

Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2011

Integrating Testing and Interactive Theorem Proving

Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

The ACL2 Sedan Theorem Proving System.

Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Automated specification analysis using an interactive theorem prover.

Harsh Raju Chamarthi, Panagiotis Manolios

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011