Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966899110> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1966899110 endingPage "610" @default.
- W1966899110 startingPage "604" @default.
- W1966899110 abstract "Software model checking is typically applied to components of large systems. The assumption generation is the problem of finding the least restrictive environment in which the components satisfy a given safety property. There is an algorithm to compute the environment for properties given as a regular language. In this paper, we propose a general scheme for computing the assumption even for non-regular properties, and show the uniqueness of the least restrictive assumption for any class of languages. In general, dealing with non-regular languages may fall into undecidability of problems. We also show a method to compute assumptions based on visibly pushdown automata and their finite-state abstractions." @default.
- W1966899110 created "2016-06-24" @default.
- W1966899110 creator A5025998441 @default.
- W1966899110 creator A5073091856 @default.
- W1966899110 date "2009-01-01" @default.
- W1966899110 modified "2023-09-25" @default.
- W1966899110 title "Application of DES Theory to Verification of Software Components" @default.
- W1966899110 cites W1497487247 @default.
- W1966899110 cites W1545438004 @default.
- W1966899110 cites W1581604070 @default.
- W1966899110 cites W1587663028 @default.
- W1966899110 cites W1975455609 @default.
- W1966899110 cites W2013658284 @default.
- W1966899110 cites W2040192818 @default.
- W1966899110 cites W2137370934 @default.
- W1966899110 cites W2137948900 @default.
- W1966899110 cites W2141834609 @default.
- W1966899110 cites W2151033407 @default.
- W1966899110 cites W2154413043 @default.
- W1966899110 cites W2169134334 @default.
- W1966899110 doi "https://doi.org/10.1587/transfun.e92.a.604" @default.
- W1966899110 hasPublicationYear "2009" @default.
- W1966899110 type Work @default.
- W1966899110 sameAs 1966899110 @default.
- W1966899110 citedByCount "1" @default.
- W1966899110 countsByYear W19668991102012 @default.
- W1966899110 crossrefType "journal-article" @default.
- W1966899110 hasAuthorship W1966899110A5025998441 @default.
- W1966899110 hasAuthorship W1966899110A5073091856 @default.
- W1966899110 hasConcept C115903868 @default.
- W1966899110 hasConcept C186846655 @default.
- W1966899110 hasConcept C199360897 @default.
- W1966899110 hasConcept C2777904410 @default.
- W1966899110 hasConcept C33054407 @default.
- W1966899110 hasConcept C41008148 @default.
- W1966899110 hasConcept C529173508 @default.
- W1966899110 hasConceptScore W1966899110C115903868 @default.
- W1966899110 hasConceptScore W1966899110C186846655 @default.
- W1966899110 hasConceptScore W1966899110C199360897 @default.
- W1966899110 hasConceptScore W1966899110C2777904410 @default.
- W1966899110 hasConceptScore W1966899110C33054407 @default.
- W1966899110 hasConceptScore W1966899110C41008148 @default.
- W1966899110 hasConceptScore W1966899110C529173508 @default.
- W1966899110 hasIssue "2" @default.
- W1966899110 hasLocation W19668991101 @default.
- W1966899110 hasOpenAccess W1966899110 @default.
- W1966899110 hasPrimaryLocation W19668991101 @default.
- W1966899110 hasRelatedWork W1516195002 @default.
- W1966899110 hasRelatedWork W1527862632 @default.
- W1966899110 hasRelatedWork W2020367298 @default.
- W1966899110 hasRelatedWork W2109507516 @default.
- W1966899110 hasRelatedWork W2112962394 @default.
- W1966899110 hasRelatedWork W2118300983 @default.
- W1966899110 hasRelatedWork W2135396778 @default.
- W1966899110 hasRelatedWork W3137189469 @default.
- W1966899110 hasRelatedWork W4243252198 @default.
- W1966899110 hasRelatedWork W47563837 @default.
- W1966899110 hasVolume "E92-A" @default.
- W1966899110 isParatext "false" @default.
- W1966899110 isRetracted "false" @default.
- W1966899110 magId "1966899110" @default.
- W1966899110 workType "article" @default.