{"version":"1.0","type":"link","title":"CoreASM - Newikis","description":"CoreASM is an open source project (licensed under Academic Free License version 3.0) that focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation, and formal verification…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}