Formal Analysis and Verification of Redundancy Management Logic for Inertial Navigation Processing Systems

Status: 
Active
Department: 
Computer Science and Engineering
Project type: 
Sponsored Projects
Duration: 
23 March 2023 - 22 March 2025
Principal Investigator: 
Dr. Jasine Babu
Co- Investigators: 
Dr. Krithika Ramaswamy
Project Number: 
2023-152-CSE-JAB-ISRO-SP
Sponsoring Agency: 
ISRO RESPOND
Total Budget: 
Rs.1884520