Matches in SemOpenAlex for { <https://semopenalex.org/work/W2041297738> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2041297738 abstract "We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We used these techniques in our analysis of the system requirements specification of TCAS II, a complex aircraft collision avoidance system. They together reduce the time and space complexities by orders of magnitude, making feasible some analysis that was previously intractable. The TCAS II requirements were written in RSML, a dialect of state-charts." @default.
- W2041297738 created "2016-06-24" @default.
- W2041297738 creator A5011262764 @default.
- W2041297738 creator A5042076941 @default.
- W2041297738 creator A5065485337 @default.
- W2041297738 creator A5076685799 @default.
- W2041297738 date "1998-03-01" @default.
- W2041297738 modified "2023-10-18" @default.
- W2041297738 title "Improving efficiency of symbolic model checking for state-based system requirements" @default.
- W2041297738 cites W1594722104 @default.
- W2041297738 cites W1862085023 @default.
- W2041297738 cites W1990183105 @default.
- W2041297738 cites W2008212717 @default.
- W2041297738 cites W2019091418 @default.
- W2041297738 cites W2033736457 @default.
- W2041297738 cites W2041539540 @default.
- W2041297738 cites W2080267935 @default.
- W2041297738 cites W2099120582 @default.
- W2041297738 cites W2099529102 @default.
- W2041297738 cites W2108016168 @default.
- W2041297738 cites W2117189826 @default.
- W2041297738 cites W2129395888 @default.
- W2041297738 cites W2146191617 @default.
- W2041297738 cites W2147880466 @default.
- W2041297738 cites W2151056896 @default.
- W2041297738 cites W2157127957 @default.
- W2041297738 cites W2537311468 @default.
- W2041297738 cites W4300021588 @default.
- W2041297738 doi "https://doi.org/10.1145/271771.271798" @default.
- W2041297738 hasPublicationYear "1998" @default.
- W2041297738 type Work @default.
- W2041297738 sameAs 2041297738 @default.
- W2041297738 citedByCount "25" @default.
- W2041297738 crossrefType "proceedings-article" @default.
- W2041297738 hasAuthorship W2041297738A5011262764 @default.
- W2041297738 hasAuthorship W2041297738A5042076941 @default.
- W2041297738 hasAuthorship W2041297738A5065485337 @default.
- W2041297738 hasAuthorship W2041297738A5076685799 @default.
- W2041297738 hasConcept C105795698 @default.
- W2041297738 hasConcept C110251889 @default.
- W2041297738 hasConcept C115903868 @default.
- W2041297738 hasConcept C120314980 @default.
- W2041297738 hasConcept C127413603 @default.
- W2041297738 hasConcept C167822520 @default.
- W2041297738 hasConcept C199360897 @default.
- W2041297738 hasConcept C200601418 @default.
- W2041297738 hasConcept C33923547 @default.
- W2041297738 hasConcept C41008148 @default.
- W2041297738 hasConcept C48103436 @default.
- W2041297738 hasConcept C65620979 @default.
- W2041297738 hasConcept C72434380 @default.
- W2041297738 hasConcept C80444323 @default.
- W2041297738 hasConcept C84651959 @default.
- W2041297738 hasConceptScore W2041297738C105795698 @default.
- W2041297738 hasConceptScore W2041297738C110251889 @default.
- W2041297738 hasConceptScore W2041297738C115903868 @default.
- W2041297738 hasConceptScore W2041297738C120314980 @default.
- W2041297738 hasConceptScore W2041297738C127413603 @default.
- W2041297738 hasConceptScore W2041297738C167822520 @default.
- W2041297738 hasConceptScore W2041297738C199360897 @default.
- W2041297738 hasConceptScore W2041297738C200601418 @default.
- W2041297738 hasConceptScore W2041297738C33923547 @default.
- W2041297738 hasConceptScore W2041297738C41008148 @default.
- W2041297738 hasConceptScore W2041297738C48103436 @default.
- W2041297738 hasConceptScore W2041297738C65620979 @default.
- W2041297738 hasConceptScore W2041297738C72434380 @default.
- W2041297738 hasConceptScore W2041297738C80444323 @default.
- W2041297738 hasConceptScore W2041297738C84651959 @default.
- W2041297738 hasLocation W20412977381 @default.
- W2041297738 hasOpenAccess W2041297738 @default.
- W2041297738 hasPrimaryLocation W20412977381 @default.
- W2041297738 hasRelatedWork W1647863393 @default.
- W2041297738 hasRelatedWork W2045840663 @default.
- W2041297738 hasRelatedWork W2125627214 @default.
- W2041297738 hasRelatedWork W2126362976 @default.
- W2041297738 hasRelatedWork W2991627118 @default.
- W2041297738 hasRelatedWork W4232301625 @default.
- W2041297738 hasRelatedWork W4234032672 @default.
- W2041297738 hasRelatedWork W4312733571 @default.
- W2041297738 hasRelatedWork W73040595 @default.
- W2041297738 hasRelatedWork W846343940 @default.
- W2041297738 isParatext "false" @default.
- W2041297738 isRetracted "false" @default.
- W2041297738 magId "2041297738" @default.
- W2041297738 workType "article" @default.