Open main menu
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)
by
Musab Alturki
December 12th, 2019
Read More
K vs. Coq as Language Verification Frameworks (Part 2 of 3)
by
Musab Alturki
December 12th, 2019
Read More
K vs. Coq as Language Verification Frameworks (Part 3 of 3)
by
Musab Alturki
December 12th, 2019
Read More
Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
by
Musab Alturki
June 18th, 2019
Read More
Undefined Behavior Review: tis-interpreter vs. RV-Match
by
Brandon Moore
August 4th, 2017
Read More
K Developer Interviewed in Illinois Paper
by
Brandon Moore
February 14th, 2017
Read More
