/
Formal Verification: Project Plan
Formal Verification: Project Plan
Mentee
Name | Email ID |
---|---|
Vibhav Sharma (VS) |
Volunteer Mentees
Name | Email ID |
---|---|
Gandavaram Anuhya (AG) | |
Ruthwik Krishna Bandreddy (RKB) | cb.en.u4cys21062 [at] cb [dot] students [dot] amrita [dot] edu |
Timeline, Deliverables and Status
Dates | Task Description | Deliverables | Status | |
---|---|---|---|---|
From | To | |||
06 June 2024 | 12 June 2024 | Mentee Onboarding and Discussion with Mentors | NA | COMPLETED |
15 June 2024 | 30 June 2024 | Project Plan Finalization | COMPLETED | |
01 July 2024 | 14 July 2024 | Understanding Hyperledger Fabric Chaincode Lifecycle | IN PROGRESS | |
15 July 2024 | 22 July 2024 | Literature Study of Formal Verification of Chaincode | ||
23 July 2024 | 25 July 2024 | Documentation | ||
26 July 2024 | FIRST TERM EVALUATION | |||
27 July 2024 | 18 August 2024 | Exploration and Analysis
| ||
19 August 2024 | 03 September 2024 | Design and Implementation
| ||
04 September 2024 | MIDTERM EVALUATION | |||
05 September 2024 | 14 October 2024 |
| ||
15 October 2024 | THIRD TERM EVALUATION | |||
16 October 2024 | 14 November 2024 | Integration with Hyperledger Fabric
| ||
15 November | 27 November 2024 | Whitepaper and Paper Publication Preparation | ||
28 November 2024 | FINAL EVALUATION |
, multiple selections available,
Related content
Formal Verification of Hyperledger Fabric Chaincode
Formal Verification of Hyperledger Fabric Chaincode
More like this
Hyperledger India Chapter Student Society
Hyperledger India Chapter Student Society
More like this
1 - LFDT India Student Society
1 - LFDT India Student Society
More like this
LFDT [Hyperledger] India Speaker List
LFDT [Hyperledger] India Speaker List
More like this
Hyperledger India - eBook
Hyperledger India - eBook
More like this
Integrating Substrate Framework with Hyperledger Fabric for Enhanced Interoperability
Integrating Substrate Framework with Hyperledger Fabric for Enhanced Interoperability
More like this