Matches in SemOpenAlex for { <https://semopenalex.org/work/W56154986> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W56154986 abstract "Figure 1 shows the Averest design flow: A given Quartz program is first translated to a symbolically represented transition system in Averest’s Interchange Format AIF that is based on XML. Temporal logic specifications are thereby translated to alternating ω-automata and/or μ-calculus formulas. Depending on the used data types (integers with limited or unlimited bitwidth), the resulting transition systems have finitely or infinitely many states. The AIF description can then be used for verification and for code generation. In the following, we briefly describe the main tools of Averest, i.e., Ruby, Beryl, and Topaz." @default.
- W56154986 created "2016-06-24" @default.
- W56154986 creator A5021237173 @default.
- W56154986 creator A5081184867 @default.
- W56154986 date "2005-01-01" @default.
- W56154986 modified "2023-10-14" @default.
- W56154986 title "Averest: Specification, Verification, and Implementation of Reactive Systems" @default.
- W56154986 cites W1489435921 @default.
- W56154986 cites W1742379874 @default.
- W56154986 cites W1875492031 @default.
- W56154986 cites W2055928880 @default.
- W56154986 cites W2103800897 @default.
- W56154986 cites W2117496103 @default.
- W56154986 cites W2127335869 @default.
- W56154986 cites W2136099086 @default.
- W56154986 cites W2142785340 @default.
- W56154986 cites W2151561628 @default.
- W56154986 cites W2152866817 @default.
- W56154986 cites W2158921207 @default.
- W56154986 cites W2161647650 @default.
- W56154986 cites W2340735175 @default.
- W56154986 cites W2913459036 @default.
- W56154986 hasPublicationYear "2005" @default.
- W56154986 type Work @default.
- W56154986 sameAs 56154986 @default.
- W56154986 citedByCount "11" @default.
- W56154986 countsByYear W561549862015 @default.
- W56154986 crossrefType "journal-article" @default.
- W56154986 hasAuthorship W56154986A5021237173 @default.
- W56154986 hasAuthorship W56154986A5081184867 @default.
- W56154986 hasConcept C111919701 @default.
- W56154986 hasConcept C112505250 @default.
- W56154986 hasConcept C11413529 @default.
- W56154986 hasConcept C177264268 @default.
- W56154986 hasConcept C199360897 @default.
- W56154986 hasConcept C2776760102 @default.
- W56154986 hasConcept C2779167558 @default.
- W56154986 hasConcept C41008148 @default.
- W56154986 hasConcept C80444323 @default.
- W56154986 hasConcept C8797682 @default.
- W56154986 hasConceptScore W56154986C111919701 @default.
- W56154986 hasConceptScore W56154986C112505250 @default.
- W56154986 hasConceptScore W56154986C11413529 @default.
- W56154986 hasConceptScore W56154986C177264268 @default.
- W56154986 hasConceptScore W56154986C199360897 @default.
- W56154986 hasConceptScore W56154986C2776760102 @default.
- W56154986 hasConceptScore W56154986C2779167558 @default.
- W56154986 hasConceptScore W56154986C41008148 @default.
- W56154986 hasConceptScore W56154986C80444323 @default.
- W56154986 hasConceptScore W56154986C8797682 @default.
- W56154986 hasLocation W561549861 @default.
- W56154986 hasOpenAccess W56154986 @default.
- W56154986 hasPrimaryLocation W561549861 @default.
- W56154986 hasRelatedWork W1479891561 @default.
- W56154986 hasRelatedWork W1482121677 @default.
- W56154986 hasRelatedWork W1497282068 @default.
- W56154986 hasRelatedWork W1552345733 @default.
- W56154986 hasRelatedWork W1590266960 @default.
- W56154986 hasRelatedWork W1672339475 @default.
- W56154986 hasRelatedWork W1875492031 @default.
- W56154986 hasRelatedWork W1952561451 @default.
- W56154986 hasRelatedWork W2001323710 @default.
- W56154986 hasRelatedWork W2028037778 @default.
- W56154986 hasRelatedWork W2071616717 @default.
- W56154986 hasRelatedWork W2098009157 @default.
- W56154986 hasRelatedWork W2110452971 @default.
- W56154986 hasRelatedWork W2114261459 @default.
- W56154986 hasRelatedWork W2125415493 @default.
- W56154986 hasRelatedWork W2127335869 @default.
- W56154986 hasRelatedWork W2136099086 @default.
- W56154986 hasRelatedWork W2153726799 @default.
- W56154986 hasRelatedWork W2340735175 @default.
- W56154986 isParatext "false" @default.
- W56154986 isRetracted "false" @default.
- W56154986 magId "56154986" @default.
- W56154986 workType "article" @default.