ERCX token verifier logo
about
  • Company
  • Mission and Vision
  • News
  • Team
  • Careers
  • Publications
  • Presentations
  • Videos
  • FAQ
products
  • Embedded Systems
  • ERCx
  • Firefly
  • K
  • KaaS
  • Kasmer
  • Kontrol
  • π²
  • Simbolik
solutions
  • Blockchain Advisory Services
  • Smart Contract Verification
  • Smart Contract Analysis
  • NFT Checker
  • Protocol Verification
  • Formal Design and Modeling
  • The IELE Virtual Machine
  • Partnerships
    • Partnerships
    • Algorand
    • Urbit
research
events
  • Arepas, Cumbia and Security
  • Formal Verification in the Ethereum Ecosystem
  • RV/ILDS Blockchain Workshop - Bucharest Mach 2023
  • Working Workshops - Bucharest October 2023
contact
  • Contact Us
  • Media Kit
blog
  • All
  • Categories
    • Audits
    • K
    • ERCx
    • News
    • Smart Contracts
    • Software Development
    • Verification
    • RV-Match
    • RV-Monitor
    • RV-Predict
  • Partners
    • Algorand
    • Cosmos
    • MultiversX
    • Ethereum
    • IOHK
    • PlatON
    • Tezos

Author: Lucas Pena

Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
by Musab Alturki
June 18th, 2019
Read MoreMusab Alturki
Runtime Verification logo

333 North Green Street, Chicago, IL

2023 © all rights reserved | privacy policy | terms of use

GitHub logoDiscord logoTelegram logoTwitter logoMedium logoYouTube logoFacebook logoLinkedin logo