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: Brandon Moore

K vs. Coq as Language Verification Frameworks (Part 1 of 3)
K vs. Coq as Language Verification Frameworks (Part 1 of 3)
by Musab Alturki
December 12th, 2019
Read MoreMusab Alturki
K vs. Coq as Language Verification Frameworks (Part 2 of 3)
K vs. Coq as Language Verification Frameworks (Part 2 of 3)
by Musab Alturki
December 12th, 2019
Read MoreMusab Alturki
K vs. Coq as Language Verification Frameworks (Part 3 of 3)
K vs. Coq as Language Verification Frameworks (Part 3 of 3)
by Musab Alturki
December 12th, 2019
Read MoreMusab Alturki
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
Undefined Behavior Review: tis-interpreter vs. RV-Match
Undefined Behavior Review: tis-interpreter vs. RV-Match
by Brandon Moore
August 4th, 2017
Read MoreBrandon Moore
K Developer Interviewed in Illinois Paper
K Developer Interviewed in Illinois Paper
by Brandon Moore
February 14th, 2017
Read MoreBrandon Moore
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