Submissions from runtimeverification.com

		K vs. Coq as Language Verification Frameworks (2019) (runtimeverification.com)
		2 points by kachnuv_ocasek on Feb 5, 2020 \| past
		End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract (runtimeverification.com)
		2 points by wslh on Jan 22, 2020 \| past
		Formally Verifying Algorand: Reinforcing a Chain of Steel (runtimeverification.com)
		3 points by wslh on June 20, 2019 \| past
		Code Smell: Boolean Blindness (runtimeverification.com)
		1 point by eindiran on March 7, 2019 \| past
		K Framework – An Overview (runtimeverification.com)
		5 points by grenolin on Feb 4, 2019 \| past
		IELE: A Formally-Specified VM for the Blockchain (2017) (runtimeverification.com)
		3 points by nickpsecurity on Jan 15, 2018 \| past \| 1 comment