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.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Averest (en)
- Averest (fr)
- Averest (pt)
|
| rdfs:comment
| - Averest est un langage de programmation synchrone conçu par un groupe de l'université technique de Kaiserslautern qui permet de spécifier, vérifier et implémenter des systèmes dit réactifs.Averest contient aussi des outils qui permettent la vérification automatique de systèmes dynamiques ainsi qu'un compilateur. (fr)
- 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. (en)
- Averest é uma linguagem de programação síncrona e um conjunto de ferramentas para especificar, verificar e implementar sistemas reativos. Inclui um compilador para programas síncronos, um modelo simbólico de verificador, e uma ferramenta para desenho de hardware e software.Ele pode ser usado para modelar e verificar sistemas de estados finitos e infinitos, com abstração em vários níveis. É muito útil para desenhos de hardware, diagramas de comunicação e protocolos, programação concorrente, sistemas embarcados e muito mais.Componentes: compilador para tradução síncrona de sistemas, verificador, ferramenta para desenho de software e hardware. Estes cobrem boa parte do desenho do fluxo de sistemas reativos da especificação até a execução. Os instrumentos são parte de um quadro comum, que muit (pt)
|
| foaf:homepage
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - 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 synchronous programs to transition systems, checker, tool for hardware/software synthesis. These cover large parts of the design flow of reactive systems, from specifying to implementing. Though the tools are part of a common framework, they are mostly independent of each other, and can be used with 3rd-party tools. (en)
- Averest est un langage de programmation synchrone conçu par un groupe de l'université technique de Kaiserslautern qui permet de spécifier, vérifier et implémenter des systèmes dit réactifs.Averest contient aussi des outils qui permettent la vérification automatique de systèmes dynamiques ainsi qu'un compilateur. (fr)
- Averest é uma linguagem de programação síncrona e um conjunto de ferramentas para especificar, verificar e implementar sistemas reativos. Inclui um compilador para programas síncronos, um modelo simbólico de verificador, e uma ferramenta para desenho de hardware e software.Ele pode ser usado para modelar e verificar sistemas de estados finitos e infinitos, com abstração em vários níveis. É muito útil para desenhos de hardware, diagramas de comunicação e protocolos, programação concorrente, sistemas embarcados e muito mais.Componentes: compilador para tradução síncrona de sistemas, verificador, ferramenta para desenho de software e hardware. Estes cobrem boa parte do desenho do fluxo de sistemas reativos da especificação até a execução. Os instrumentos são parte de um quadro comum, que muitas vezes são independentes uns dos outros, e podem ser usada com 3rd – party tools. (pt)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)