Averest
id:
averest-197-7897103
title:
Averest
text:
Averest is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. It can be used to model and verify finite and infinite state systems, at varied abstraction levels. It is useful for hardware design, modeling communication protocols, concurrent programs, software in embedded systems, and more. Components: compiler to translate syn
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Averest
date created:
date modified:
2024-04-22T17:51:32Z
main entity:
{"identifier":"Q2874223","url":"https://www.wikidata.org/entity/Q2874223"}
image:
fields total:
13
integrity:
13