Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038263669> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2038263669 abstract "Recently, software practitioners, using model-based engineering and similar methods, have begun developing software from models. After creating a model of the required system behavior, a developer can obtain assurance of the model by validating that it captures the intended behavior and verifying that it satisfies critical properties. Invariants are important to both validation, as a check that the model's behavior matches the intended behavior, and verification, as auxiliaries in proving critical system properties, either automatically or with human guidance. A common approach to discovering invariants is to propose and then check candidate invariants. In contrast, our invariant generation techniques deduce invariants directly from the specification of a model. This paper presents more powerful versions of our earlier techniques for invariant generation and illustrates their utility for a real-world AirLock system." @default.
- W2038263669 created "2016-06-24" @default.
- W2038263669 creator A5004106660 @default.
- W2038263669 creator A5004724179 @default.
- W2038263669 creator A5018698752 @default.
- W2038263669 creator A5062249962 @default.
- W2038263669 date "2012-07-01" @default.
- W2038263669 modified "2023-09-26" @default.
- W2038263669 title "Direct generation of invariants for reactive models" @default.
- W2038263669 cites W120333500 @default.
- W2038263669 cites W1497571013 @default.
- W2038263669 cites W1499507396 @default.
- W2038263669 cites W1524963041 @default.
- W2038263669 cites W1540180001 @default.
- W2038263669 cites W1569137956 @default.
- W2038263669 cites W1582615359 @default.
- W2038263669 cites W1585143074 @default.
- W2038263669 cites W1599897266 @default.
- W2038263669 cites W1870235599 @default.
- W2038263669 cites W1877129949 @default.
- W2038263669 cites W1973291036 @default.
- W2038263669 cites W1994299079 @default.
- W2038263669 cites W2005001435 @default.
- W2038263669 cites W2033622651 @default.
- W2038263669 cites W2082434633 @default.
- W2038263669 cites W2099529102 @default.
- W2038263669 cites W2110908283 @default.
- W2038263669 cites W2125708466 @default.
- W2038263669 cites W2148209188 @default.
- W2038263669 cites W2151250735 @default.
- W2038263669 cites W3037543967 @default.
- W2038263669 cites W3106729728 @default.
- W2038263669 doi "https://doi.org/10.1109/memcod.2012.6292308" @default.
- W2038263669 hasPublicationYear "2012" @default.
- W2038263669 type Work @default.
- W2038263669 sameAs 2038263669 @default.
- W2038263669 citedByCount "5" @default.
- W2038263669 countsByYear W20382636692013 @default.
- W2038263669 countsByYear W20382636692014 @default.
- W2038263669 countsByYear W20382636692015 @default.
- W2038263669 crossrefType "proceedings-article" @default.
- W2038263669 hasAuthorship W2038263669A5004106660 @default.
- W2038263669 hasAuthorship W2038263669A5004724179 @default.
- W2038263669 hasAuthorship W2038263669A5018698752 @default.
- W2038263669 hasAuthorship W2038263669A5062249962 @default.
- W2038263669 hasConcept C110251889 @default.
- W2038263669 hasConcept C115903868 @default.
- W2038263669 hasConcept C149091818 @default.
- W2038263669 hasConcept C190470478 @default.
- W2038263669 hasConcept C199360897 @default.
- W2038263669 hasConcept C2777904410 @default.
- W2038263669 hasConcept C33923547 @default.
- W2038263669 hasConcept C37914503 @default.
- W2038263669 hasConcept C41008148 @default.
- W2038263669 hasConcept C80444323 @default.
- W2038263669 hasConceptScore W2038263669C110251889 @default.
- W2038263669 hasConceptScore W2038263669C115903868 @default.
- W2038263669 hasConceptScore W2038263669C149091818 @default.
- W2038263669 hasConceptScore W2038263669C190470478 @default.
- W2038263669 hasConceptScore W2038263669C199360897 @default.
- W2038263669 hasConceptScore W2038263669C2777904410 @default.
- W2038263669 hasConceptScore W2038263669C33923547 @default.
- W2038263669 hasConceptScore W2038263669C37914503 @default.
- W2038263669 hasConceptScore W2038263669C41008148 @default.
- W2038263669 hasConceptScore W2038263669C80444323 @default.
- W2038263669 hasLocation W20382636691 @default.
- W2038263669 hasOpenAccess W2038263669 @default.
- W2038263669 hasPrimaryLocation W20382636691 @default.
- W2038263669 hasRelatedWork W1479987225 @default.
- W2038263669 hasRelatedWork W1487860092 @default.
- W2038263669 hasRelatedWork W1495714154 @default.
- W2038263669 hasRelatedWork W1495911618 @default.
- W2038263669 hasRelatedWork W1510878009 @default.
- W2038263669 hasRelatedWork W1809672455 @default.
- W2038263669 hasRelatedWork W2044043242 @default.
- W2038263669 hasRelatedWork W2052145823 @default.
- W2038263669 hasRelatedWork W2053808314 @default.
- W2038263669 hasRelatedWork W2054704105 @default.
- W2038263669 hasRelatedWork W2060099438 @default.
- W2038263669 hasRelatedWork W2069640066 @default.
- W2038263669 hasRelatedWork W2080987629 @default.
- W2038263669 hasRelatedWork W2148596898 @default.
- W2038263669 hasRelatedWork W2156017371 @default.
- W2038263669 hasRelatedWork W2157706321 @default.
- W2038263669 hasRelatedWork W2577206258 @default.
- W2038263669 hasRelatedWork W2735898752 @default.
- W2038263669 hasRelatedWork W3007110825 @default.
- W2038263669 hasRelatedWork W2526106663 @default.
- W2038263669 isParatext "false" @default.
- W2038263669 isRetracted "false" @default.
- W2038263669 magId "2038263669" @default.
- W2038263669 workType "article" @default.