The ABI status of filesystem formats
The ABI status of filesystem formats
Posted Oct 9, 2020 10:35 UTC (Fri) by roc (subscriber, #30627)In reply to: The ABI status of filesystem formats by roc
Parent article: The ABI status of filesystem formats
What I meant to add was: if you write formal specifications the right way, you can use these tools to get more value out of the spec, which tilts the cost/benefit tradeoff towards formal specifications.