Matches in SemOpenAlex for { <https://semopenalex.org/work/W1524354295> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1524354295 endingPage "383" @default.
- W1524354295 startingPage "369" @default.
- W1524354295 abstract "Model checking is a powerful automated formal technique that is used for verifying reactive system’s properties. In practice, model checkers are limited, due to the state explosion problem (the number of states to explore grows exponentially with the number of the system’s processes). Modular verification based on assume-guarantee paradigm mitigates this problem by using a ”divide and conquer” technique: the system’s components are checked with a set of user-supply assumptions of the environment (environment model), and then, these assumptions must be verified on the environment (guarantee or assumption discharge). Unfortunately, this approach is not automated because the user must specify the environment model (assumptions). In this work, a novel technique is shown to, automatically, generate assumptions for all the system’s components. The proposed algorithm simultaneously computes the environments of all components in the system, such as the generated assumptions for a component, which can be used in order to determine the assumptions of another component with the one that communicates it. The assumptions are computed as association rules between the component’s interfaces. We applied our approach to the modular verification of a steam boiler control program." @default.
- W1524354295 created "2016-06-24" @default.
- W1524354295 creator A5004612852 @default.
- W1524354295 creator A5044453196 @default.
- W1524354295 date "2004-01-01" @default.
- W1524354295 modified "2023-10-14" @default.
- W1524354295 title "Modular Model Checking of Software Specifications with Simultaneous Environment Generation" @default.
- W1524354295 cites W1488659932 @default.
- W1524354295 cites W1523442991 @default.
- W1524354295 cites W1573428492 @default.
- W1524354295 cites W1590849109 @default.
- W1524354295 cites W1596365597 @default.
- W1524354295 cites W1756169151 @default.
- W1524354295 cites W1974986814 @default.
- W1524354295 cites W2002359474 @default.
- W1524354295 cites W2098039922 @default.
- W1524354295 cites W2104407379 @default.
- W1524354295 cites W2129395888 @default.
- W1524354295 cites W2130025446 @default.
- W1524354295 cites W2147880466 @default.
- W1524354295 cites W2159542925 @default.
- W1524354295 cites W2166559705 @default.
- W1524354295 cites W2169134334 @default.
- W1524354295 cites W2188030705 @default.
- W1524354295 cites W2293287097 @default.
- W1524354295 cites W2296232480 @default.
- W1524354295 cites W2499596435 @default.
- W1524354295 cites W3014811439 @default.
- W1524354295 cites W4300021588 @default.
- W1524354295 doi "https://doi.org/10.1007/978-3-540-30476-0_30" @default.
- W1524354295 hasPublicationYear "2004" @default.
- W1524354295 type Work @default.
- W1524354295 sameAs 1524354295 @default.
- W1524354295 citedByCount "3" @default.
- W1524354295 crossrefType "book-chapter" @default.
- W1524354295 hasAuthorship W1524354295A5004612852 @default.
- W1524354295 hasAuthorship W1524354295A5044453196 @default.
- W1524354295 hasConcept C101468663 @default.
- W1524354295 hasConcept C115903868 @default.
- W1524354295 hasConcept C199360897 @default.
- W1524354295 hasConcept C41008148 @default.
- W1524354295 hasConceptScore W1524354295C101468663 @default.
- W1524354295 hasConceptScore W1524354295C115903868 @default.
- W1524354295 hasConceptScore W1524354295C199360897 @default.
- W1524354295 hasConceptScore W1524354295C41008148 @default.
- W1524354295 hasLocation W15243542951 @default.
- W1524354295 hasOpenAccess W1524354295 @default.
- W1524354295 hasPrimaryLocation W15243542951 @default.
- W1524354295 hasRelatedWork W1527862632 @default.
- W1524354295 hasRelatedWork W2109507516 @default.
- W1524354295 hasRelatedWork W2112962394 @default.
- W1524354295 hasRelatedWork W2118300983 @default.
- W1524354295 hasRelatedWork W2135396778 @default.
- W1524354295 hasRelatedWork W2382501300 @default.
- W1524354295 hasRelatedWork W2740990710 @default.
- W1524354295 hasRelatedWork W3137189469 @default.
- W1524354295 hasRelatedWork W4235530921 @default.
- W1524354295 hasRelatedWork W4243252198 @default.
- W1524354295 isParatext "false" @default.
- W1524354295 isRetracted "false" @default.
- W1524354295 magId "1524354295" @default.
- W1524354295 workType "book-chapter" @default.