search

freespek / ssf-mc

EF project Exploring Automatic Model-Checking of the Ethereum specification
Apache License 2.0
4 stars 0 forks source link

Add more experimental results #52

Closed thpani closed 2 months ago

thpani commented 2 months ago

Extend ./EXPERIMENTS.md with outstanding results on Spec 2.