Login / Signup

Formal Verification of Justification and Finalization in Beacon Chain.

Hamra AfzaalNazir Ahmad ZafarAqsa TehseenShaheen KousarMuhammad Imran
Published in: IEEE Access (2024)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • model checker
  • automated verification
  • wireless sensor networks
  • localization algorithm
  • symbolic model checking
  • program slicing
  • location information