CoreASM
id:
coreasm-273-15868603
title:
CoreASM
text:
CoreASM is an open source project that focuses on the design of a lean executable ASM language, in combination with a supporting tool environment for high-level design, experimental validation, and formal verification of abstract system models. Abstract state machines are known for their versatility in modeling of algorithms, architectures, languages, protocols, and virtually all kinds of sequential, parallel, and distributed systems. The ASM formalism has been studied extensively by researchers
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/CoreASM
date created:
date modified:
2020-12-19T22:20:56Z
main entity:
{"identifier":"Q5170135","url":"https://www.wikidata.org/entity/Q5170135"}
image:
fields total:
13
integrity:
13