MATERIALS
MATERIALS
FORMAL METHODS
RESEARCH & INNOVATION KNOWLEDGE SHARING 2023: 6th SERIES
FORMAL VERIFICATION: FORGOTTON OPPORTUNITY
by Prof. Dr. Ramlan Mahmod
FormalProof.pptxArticle 1
3. Formal Verification of SC Use EVM.pdfArticle 2
1. A_temporal_blockchain_A_formal_analysis.pdfArticle 3
2. FM for UI desin.pdfArticle 4
4. Formal_Modeling_and_Verification_of_a_Blockchain-Based_Crowdsourcing_Consensus_Protocol.pdfArticle 5
5. SC Formal Verification using ATL.pdfArticle 6
6. Surver SC Spec and Verification.pdf