Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576596005> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1576596005 endingPage "819" @default.
- W1576596005 startingPage "812" @default.
- W1576596005 abstract "With the purpose of making the verification of parameterized system more general and easier, in this paper, a new and intuitive language PSL (Parameterized-system Specification Language) is proposed to specify a class of parameterized synchronous systems. From a PSL script, an automatic method is proposed to generate a constraint-based symbolic model. The model can concisely symbolically represent the collections of global states by counting the number of processes in a given state. Moreover, a theorem has been proved that there is a simulation relation between the original system and its symbolic model. Since the abstract and symbolic techniques are exploited in the symbolic model, state-explosion problem in traditional verification methods is efficiently avoided. Based on the proposed symbolic model, a reachability analysis procedure is implemented using ANSI C++ on UNIX platform. Thus, a complete tool for verifying the parameterized synchronous systems is obtained and tested for some cases. The experimental results show that the method is satisfactory." @default.
- W1576596005 created "2016-06-24" @default.
- W1576596005 creator A5019794887 @default.
- W1576596005 date "2004-01-01" @default.
- W1576596005 modified "2023-09-26" @default.
- W1576596005 title "Automatic Generation of Symbolic Model for Parameterized Synchronous Systems" @default.
- W1576596005 hasPublicationYear "2004" @default.
- W1576596005 type Work @default.
- W1576596005 sameAs 1576596005 @default.
- W1576596005 citedByCount "0" @default.
- W1576596005 crossrefType "journal-article" @default.
- W1576596005 hasAuthorship W1576596005A5019794887 @default.
- W1576596005 hasConcept C110251889 @default.
- W1576596005 hasConcept C11171543 @default.
- W1576596005 hasConcept C112968700 @default.
- W1576596005 hasConcept C11413529 @default.
- W1576596005 hasConcept C136643341 @default.
- W1576596005 hasConcept C154945302 @default.
- W1576596005 hasConcept C15744967 @default.
- W1576596005 hasConcept C165464430 @default.
- W1576596005 hasConcept C199360897 @default.
- W1576596005 hasConcept C23123167 @default.
- W1576596005 hasConcept C25343380 @default.
- W1576596005 hasConcept C2776095079 @default.
- W1576596005 hasConcept C2777212361 @default.
- W1576596005 hasConcept C2777904410 @default.
- W1576596005 hasConcept C2779639559 @default.
- W1576596005 hasConcept C41008148 @default.
- W1576596005 hasConcept C48103436 @default.
- W1576596005 hasConcept C65620979 @default.
- W1576596005 hasConcept C77088390 @default.
- W1576596005 hasConcept C80444323 @default.
- W1576596005 hasConceptScore W1576596005C110251889 @default.
- W1576596005 hasConceptScore W1576596005C11171543 @default.
- W1576596005 hasConceptScore W1576596005C112968700 @default.
- W1576596005 hasConceptScore W1576596005C11413529 @default.
- W1576596005 hasConceptScore W1576596005C136643341 @default.
- W1576596005 hasConceptScore W1576596005C154945302 @default.
- W1576596005 hasConceptScore W1576596005C15744967 @default.
- W1576596005 hasConceptScore W1576596005C165464430 @default.
- W1576596005 hasConceptScore W1576596005C199360897 @default.
- W1576596005 hasConceptScore W1576596005C23123167 @default.
- W1576596005 hasConceptScore W1576596005C25343380 @default.
- W1576596005 hasConceptScore W1576596005C2776095079 @default.
- W1576596005 hasConceptScore W1576596005C2777212361 @default.
- W1576596005 hasConceptScore W1576596005C2777904410 @default.
- W1576596005 hasConceptScore W1576596005C2779639559 @default.
- W1576596005 hasConceptScore W1576596005C41008148 @default.
- W1576596005 hasConceptScore W1576596005C48103436 @default.
- W1576596005 hasConceptScore W1576596005C65620979 @default.
- W1576596005 hasConceptScore W1576596005C77088390 @default.
- W1576596005 hasConceptScore W1576596005C80444323 @default.
- W1576596005 hasIssue "6" @default.
- W1576596005 hasLocation W15765960051 @default.
- W1576596005 hasOpenAccess W1576596005 @default.
- W1576596005 hasPrimaryLocation W15765960051 @default.
- W1576596005 hasRelatedWork W1482037584 @default.
- W1576596005 hasRelatedWork W1546631539 @default.
- W1576596005 hasRelatedWork W1563672640 @default.
- W1576596005 hasRelatedWork W1577524604 @default.
- W1576596005 hasRelatedWork W1731145829 @default.
- W1576596005 hasRelatedWork W1881813055 @default.
- W1576596005 hasRelatedWork W1973954352 @default.
- W1576596005 hasRelatedWork W2062787735 @default.
- W1576596005 hasRelatedWork W2100139843 @default.
- W1576596005 hasRelatedWork W2265529395 @default.
- W1576596005 hasRelatedWork W2295497019 @default.
- W1576596005 hasRelatedWork W2346618204 @default.
- W1576596005 hasRelatedWork W2482302655 @default.
- W1576596005 hasRelatedWork W2617636783 @default.
- W1576596005 hasRelatedWork W2914409100 @default.
- W1576596005 hasRelatedWork W3005708368 @default.
- W1576596005 hasRelatedWork W3104110600 @default.
- W1576596005 hasRelatedWork W2184555231 @default.
- W1576596005 hasRelatedWork W2286192159 @default.
- W1576596005 hasRelatedWork W2615062305 @default.
- W1576596005 hasVolume "19" @default.
- W1576596005 isParatext "false" @default.
- W1576596005 isRetracted "false" @default.
- W1576596005 magId "1576596005" @default.
- W1576596005 workType "article" @default.