Author: Clark Moody 2020-11-25 15:43:10
Published on: 2020-11-25T15:43:10+00:00
Dmitry Petukhov has created a formal specification of Miniscript using the specification language of Alloy analyzer. The specification can be used for implementing Miniscript libraries, generating test cases for implementations, checking the implementation against the spec, extending or amending Miniscript, and exploring the properties of Miniscript. The spec may contain mistakes but can be improved by submitting issues on Github. Clark asked if there were any other spec definitions in alternate formal grammars.
Updated on: 2023-06-14T16:21:20.011830+00:00