Averest
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.
Link from a Wikipage to another Wikipage
primaryTopic
Averest
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.
has abstract
Averest est un langage de prog ...... iques ainsi qu'un compilateur.
@fr
Averest is a synchronous progr ...... be used with 3rd-party tools.
@en
Averest é uma linguagem de pro ...... r usada com 3rd – party tools.
@pt
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
987,947,201
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
Averest est un langage de prog ...... iques ainsi qu'un compilateur.
@fr
Averest is a synchronous progr ...... in embedded systems, and more.
@en
Averest é uma linguagem de pro ...... e de um quadro comum, que muit
@pt
label
Averest
@en
Averest
@fr
Averest
@pt