Matches in SemOpenAlex for { <https://semopenalex.org/work/W45604208> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W45604208 endingPage "444" @default.
- W45604208 startingPage "431" @default.
- W45604208 abstract "In this paper, we describe the design and implementation of an environment for the specification, analysis and verification of reactive systems. The environment allows the user to develop specification in the graphical formalism of Statecharts [1] and a built-in translator tool translates the specification into Esterel [3] program. Through such an approach, we have been able to integrate the powerful graphical formalism of Statecharts, which is very appealing to engineers, and the power of formal verification environments for Esterel. Since we translate Statecharts, which can be nondeterministic, to Esterel programs which are fully deterministic, the system overcomes the nondeterminism in the specifications by enforcing priority. The behaviour of Esterel programs generated by the translator follows the Statechart step semantics [2]. In the paper, we describe the main components of the environment, the principles underlying the translation and illustrate the use of the system for the specification and verification using an example.KeywordsDestination StateCode SegmentTranslation SchemeTranslator ToolSynchronous LanguageThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W45604208 created "2016-06-24" @default.
- W45604208 creator A5002224645 @default.
- W45604208 creator A5016415178 @default.
- W45604208 creator A5054403251 @default.
- W45604208 creator A5064230639 @default.
- W45604208 date "1999-01-01" @default.
- W45604208 modified "2023-09-23" @default.
- W45604208 title "A Graphical Environment for the Specification and Verification of Reactive Systems" @default.
- W45604208 cites W2081938726 @default.
- W45604208 cites W2099529102 @default.
- W45604208 cites W2129395888 @default.
- W45604208 doi "https://doi.org/10.1007/3-540-48249-0_37" @default.
- W45604208 hasPublicationYear "1999" @default.
- W45604208 type Work @default.
- W45604208 sameAs 45604208 @default.
- W45604208 citedByCount "3" @default.
- W45604208 crossrefType "book-chapter" @default.
- W45604208 hasAuthorship W45604208A5002224645 @default.
- W45604208 hasAuthorship W45604208A5016415178 @default.
- W45604208 hasAuthorship W45604208A5054403251 @default.
- W45604208 hasAuthorship W45604208A5064230639 @default.
- W45604208 hasConcept C111498074 @default.
- W45604208 hasConcept C116253237 @default.
- W45604208 hasConcept C142362112 @default.
- W45604208 hasConcept C153349607 @default.
- W45604208 hasConcept C176181172 @default.
- W45604208 hasConcept C184337299 @default.
- W45604208 hasConcept C199360897 @default.
- W45604208 hasConcept C41008148 @default.
- W45604208 hasConcept C558565934 @default.
- W45604208 hasConcept C73301696 @default.
- W45604208 hasConcept C80444323 @default.
- W45604208 hasConceptScore W45604208C111498074 @default.
- W45604208 hasConceptScore W45604208C116253237 @default.
- W45604208 hasConceptScore W45604208C142362112 @default.
- W45604208 hasConceptScore W45604208C153349607 @default.
- W45604208 hasConceptScore W45604208C176181172 @default.
- W45604208 hasConceptScore W45604208C184337299 @default.
- W45604208 hasConceptScore W45604208C199360897 @default.
- W45604208 hasConceptScore W45604208C41008148 @default.
- W45604208 hasConceptScore W45604208C558565934 @default.
- W45604208 hasConceptScore W45604208C73301696 @default.
- W45604208 hasConceptScore W45604208C80444323 @default.
- W45604208 hasLocation W456042081 @default.
- W45604208 hasOpenAccess W45604208 @default.
- W45604208 hasPrimaryLocation W456042081 @default.
- W45604208 hasRelatedWork W1531449390 @default.
- W45604208 hasRelatedWork W1557676773 @default.
- W45604208 hasRelatedWork W1559177983 @default.
- W45604208 hasRelatedWork W1562626995 @default.
- W45604208 hasRelatedWork W1564650897 @default.
- W45604208 hasRelatedWork W1590410909 @default.
- W45604208 hasRelatedWork W1593065203 @default.
- W45604208 hasRelatedWork W1734206775 @default.
- W45604208 hasRelatedWork W1765408998 @default.
- W45604208 hasRelatedWork W1782595006 @default.
- W45604208 hasRelatedWork W2018396715 @default.
- W45604208 hasRelatedWork W2065906299 @default.
- W45604208 hasRelatedWork W2086005798 @default.
- W45604208 hasRelatedWork W2114341903 @default.
- W45604208 hasRelatedWork W2137852603 @default.
- W45604208 hasRelatedWork W2140888521 @default.
- W45604208 hasRelatedWork W2153122714 @default.
- W45604208 hasRelatedWork W2154141291 @default.
- W45604208 hasRelatedWork W2154823931 @default.
- W45604208 hasRelatedWork W2535835324 @default.
- W45604208 isParatext "false" @default.
- W45604208 isRetracted "false" @default.
- W45604208 magId "45604208" @default.
- W45604208 workType "book-chapter" @default.