Title: Formal Verification of Hyperledger Fabric Chaincode  
Author: Ramaguru Radhakrishnan Mar 02, 2024
Last Changed by: Min Yu Jun 07, 2024
Tiny Link: (useful for email) https://wiki.hyperledger.org/x/S4BcBw
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: 2024 Projects
Children (1)
    Page: Formal Verification: Project Plan
Labels
Global Labels (5)
Recent Changes
Time Editor  
Jun 07, 2024 16:34 Min Yu View Changes
Apr 04, 2024 19:29 Min Yu View Changes
Mar 09, 2024 08:08 Ramaguru Radhakrishnan View Changes
Added Additional Reference Section
Mar 02, 2024 19:25 Ramaguru Radhakrishnan View Changes
Updated - Title Formatting, Mentor Section and Added GitHub Reference
Mar 02, 2024 19:16 Ramaguru Radhakrishnan  
Outgoing Links
External Links (5)
    https://github.com/Amrita-TIFAC-Cyber-Blockchain/Formal-Met…
    https://www.cybok.org/media/downloads/Formal_Methods_for_Se…
    https://github.com/NamChain-Open-Initiative-Research-Lab
    https://www.amrita.edu/faculty/ramaguru-radhakrishnan/
    mailto:r_ramaguru@cb.amrita.edu