Matches in SemOpenAlex for { <https://semopenalex.org/work/W3201217042> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3201217042 abstract "The paper describes a support tool for a technique that alleviates the notorious state space explosion problem in model checking. The technique is called the L + 1-layer divide & conquer approach to leads-to model checking. As indicated by the name, the technique is dedicated to leads- to properties. In a temporal logic called UNITY designed by Chandy and Misra, the leads-to temporal connective plays an important role and many case studies have been conducted in UNITY, demonstrating that many systems requirements can be expressed as leads-to properties. Hence, it is worth dedicating to the properties. The paper also reports on some experiments that demonstrate that the tool can alleviate the state space explosion problem to some extent." @default.
- W3201217042 created "2021-09-27" @default.
- W3201217042 creator A5030173635 @default.
- W3201217042 creator A5073293052 @default.
- W3201217042 creator A5023981175 @default.
- W3201217042 date "2021-07-01" @default.
- W3201217042 modified "2023-10-14" @default.
- W3201217042 title "A support tool for the L + 1-layer divide & conquer approach to leads-to model checking" @default.
- W3201217042 cites W1495266209 @default.
- W3201217042 cites W1548575501 @default.
- W3201217042 cites W1552280794 @default.
- W3201217042 cites W1819209966 @default.
- W3201217042 cites W1999288406 @default.
- W3201217042 cites W2069278684 @default.
- W3201217042 cites W2080593426 @default.
- W3201217042 cites W2127574686 @default.
- W3201217042 cites W2163662782 @default.
- W3201217042 cites W2912640545 @default.
- W3201217042 cites W2913689616 @default.
- W3201217042 cites W2946700061 @default.
- W3201217042 cites W2994099862 @default.
- W3201217042 cites W3127707154 @default.
- W3201217042 doi "https://doi.org/10.1109/compsac51774.2021.00118" @default.
- W3201217042 hasPublicationYear "2021" @default.
- W3201217042 type Work @default.
- W3201217042 sameAs 3201217042 @default.
- W3201217042 citedByCount "3" @default.
- W3201217042 countsByYear W32012170422021 @default.
- W3201217042 countsByYear W32012170422022 @default.
- W3201217042 crossrefType "proceedings-article" @default.
- W3201217042 hasAuthorship W3201217042A5023981175 @default.
- W3201217042 hasAuthorship W3201217042A5030173635 @default.
- W3201217042 hasAuthorship W3201217042A5073293052 @default.
- W3201217042 hasConcept C105795698 @default.
- W3201217042 hasConcept C110251889 @default.
- W3201217042 hasConcept C111919701 @default.
- W3201217042 hasConcept C120314980 @default.
- W3201217042 hasConcept C178790620 @default.
- W3201217042 hasConcept C185592680 @default.
- W3201217042 hasConcept C199360897 @default.
- W3201217042 hasConcept C25016198 @default.
- W3201217042 hasConcept C2778572836 @default.
- W3201217042 hasConcept C2779227376 @default.
- W3201217042 hasConcept C33923547 @default.
- W3201217042 hasConcept C41008148 @default.
- W3201217042 hasConcept C48103436 @default.
- W3201217042 hasConcept C71559656 @default.
- W3201217042 hasConcept C72434380 @default.
- W3201217042 hasConcept C80444323 @default.
- W3201217042 hasConceptScore W3201217042C105795698 @default.
- W3201217042 hasConceptScore W3201217042C110251889 @default.
- W3201217042 hasConceptScore W3201217042C111919701 @default.
- W3201217042 hasConceptScore W3201217042C120314980 @default.
- W3201217042 hasConceptScore W3201217042C178790620 @default.
- W3201217042 hasConceptScore W3201217042C185592680 @default.
- W3201217042 hasConceptScore W3201217042C199360897 @default.
- W3201217042 hasConceptScore W3201217042C25016198 @default.
- W3201217042 hasConceptScore W3201217042C2778572836 @default.
- W3201217042 hasConceptScore W3201217042C2779227376 @default.
- W3201217042 hasConceptScore W3201217042C33923547 @default.
- W3201217042 hasConceptScore W3201217042C41008148 @default.
- W3201217042 hasConceptScore W3201217042C48103436 @default.
- W3201217042 hasConceptScore W3201217042C71559656 @default.
- W3201217042 hasConceptScore W3201217042C72434380 @default.
- W3201217042 hasConceptScore W3201217042C80444323 @default.
- W3201217042 hasLocation W32012170421 @default.
- W3201217042 hasOpenAccess W3201217042 @default.
- W3201217042 hasPrimaryLocation W32012170421 @default.
- W3201217042 hasRelatedWork W1572578464 @default.
- W3201217042 hasRelatedWork W1948103674 @default.
- W3201217042 hasRelatedWork W2028415656 @default.
- W3201217042 hasRelatedWork W2030935018 @default.
- W3201217042 hasRelatedWork W2062081943 @default.
- W3201217042 hasRelatedWork W2149299285 @default.
- W3201217042 hasRelatedWork W2380536301 @default.
- W3201217042 hasRelatedWork W2406840455 @default.
- W3201217042 hasRelatedWork W2604575008 @default.
- W3201217042 hasRelatedWork W2808633434 @default.
- W3201217042 isParatext "false" @default.
- W3201217042 isRetracted "false" @default.
- W3201217042 magId "3201217042" @default.
- W3201217042 workType "article" @default.