Login / Signup
Formal Verification for Blockchain-based Insurance Claims Processing.
Roshan Lal Neupane
Ernest Bonnah
Bishnu Bhusal
Kiran Neupane
Khaza Anuarul Hoque
Prasad Calyam
Published in:
NOMS (2024)
Keyphrases
</>
formal verification
model checking
model checker
real time
bounded model checking
automated verification
data processing
risk management
domain independent
artificial intelligence
reinforcement learning
dynamic programming
software engineering
orders of magnitude
symbolic model checking
functional verification