Mihir Parang Mehta

According to our database, Mihir Parang Mehta authored at least 4 papers between 2018 and 2022.

Collaborative distances:

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

2022

Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations.

Aarti Gupta, Roope Kaivola, Mihir Parang Mehta, Vaibhav Singh

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2020

Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model.

Mihir Parang Mehta, William R. Cook

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

Binary-Compatible Verification of Filesystems with ACL2.

Mihir Parang Mehta, William R. Cook

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32.

Mihir Parang Mehta

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018