Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Averest> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Averest 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, symbolic model 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.".
- Averest wikiPageExternalLink es.informatik.uni-kl.de.
- Averest wikiPageExternalLink www.averest.org.
- Averest wikiPageID "2211949".
- Averest wikiPageLength "1345".
- Averest wikiPageOutDegree "11".
- Averest wikiPageRevisionID "580068412".
- Averest wikiPageWikiLink Category:Hardware_description_languages.
- Averest wikiPageWikiLink Category:Synchronous_programming_languages.
- Averest wikiPageWikiLink Compiler.
- Averest wikiPageWikiLink Concurrent_computing.
- Averest wikiPageWikiLink Concurrent_programming.
- Averest wikiPageWikiLink Embedded_system.
- Averest wikiPageWikiLink Esterel.
- Averest wikiPageWikiLink Reactive_system.
- Averest wikiPageWikiLink Symbolic_model.
- Averest wikiPageWikiLink Synchronous_programming_language.
- Averest wikiPageWikiLink Transition_system.
- Averest wikiPageWikiLinkText "Averest".
- Averest hasPhotoCollection Averest.
- Averest wikiPageUsesTemplate Template:Compu-lang-stub.
- Averest wikiPageUsesTemplate Template:Multiple_issues.
- Averest subject Category:Hardware_description_languages.
- Averest subject Category:Synchronous_programming_languages.
- Averest hypernym Language.
- Averest type Article.
- Averest type Language.
- Averest type ProgrammingLanguage.
- Averest type Software.
- Averest type Work.
- Averest type Article.
- Averest type Language.
- Averest type CreativeWork.
- Averest type Thing.
- Averest type Q386724.
- Averest type Q7397.
- Averest type Q9143.
- Averest comment "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.".
- Averest label "Averest".
- Averest sameAs Averest.
- Averest sameAs Averest.
- Averest sameAs m.06w8g1.
- Averest sameAs Q2874223.
- Averest sameAs Q2874223.
- Averest wasDerivedFrom Averest?oldid=580068412.
- Averest homepage www.averest.org.
- Averest isPrimaryTopicOf Averest.