Matches in SemOpenAlex for { <https://semopenalex.org/work/W157439360> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W157439360 endingPage "402" @default.
- W157439360 startingPage "388" @default.
- W157439360 abstract "We describe two complementary techniques to aid the automatic verification of safety properties of synchronous systems by model checking. A first technique allows the automatic generation of certain inductive invariants for mode variables. Such invariants are crucial in the verification of safety properties in systems with complex modal behavior. A second technique allows the simultaneous verification of multiple properties incrementally. Specifically, the outcome of a property—valid or invalid—is communicated to the user as soon as it is known. Moreover, each property proven valid is used immediately as an invariant in the model checking procedure to aid the verification of the remaining properties. We have implemented these techniques as new options in the Kind model checker. Experimental evidence shows that these two techniques combine synergistically to increase Kind’s precision as well as its speed." @default.
- W157439360 created "2016-06-24" @default.
- W157439360 creator A5014360702 @default.
- W157439360 creator A5025996200 @default.
- W157439360 creator A5041875141 @default.
- W157439360 creator A5046830049 @default.
- W157439360 date "2012-01-01" @default.
- W157439360 modified "2023-09-27" @default.
- W157439360 title "Incremental Verification with Mode Variable Invariants in State Machines" @default.
- W157439360 cites W120333500 @default.
- W157439360 cites W1495266209 @default.
- W157439360 cites W1499997324 @default.
- W157439360 cites W1552280794 @default.
- W157439360 cites W1569137956 @default.
- W157439360 cites W2022877924 @default.
- W157439360 cites W2111757195 @default.
- W157439360 cites W2116117396 @default.
- W157439360 cites W2118913513 @default.
- W157439360 cites W2125415493 @default.
- W157439360 cites W2154550022 @default.
- W157439360 cites W3007110825 @default.
- W157439360 doi "https://doi.org/10.1007/978-3-642-28891-3_35" @default.
- W157439360 hasPublicationYear "2012" @default.
- W157439360 type Work @default.
- W157439360 sameAs 157439360 @default.
- W157439360 citedByCount "9" @default.
- W157439360 countsByYear W1574393602013 @default.
- W157439360 countsByYear W1574393602015 @default.
- W157439360 countsByYear W1574393602017 @default.
- W157439360 countsByYear W1574393602018 @default.
- W157439360 countsByYear W1574393602020 @default.
- W157439360 countsByYear W1574393602021 @default.
- W157439360 crossrefType "book-chapter" @default.
- W157439360 hasAuthorship W157439360A5014360702 @default.
- W157439360 hasAuthorship W157439360A5025996200 @default.
- W157439360 hasAuthorship W157439360A5041875141 @default.
- W157439360 hasAuthorship W157439360A5046830049 @default.
- W157439360 hasBestOaLocation W1574393602 @default.
- W157439360 hasConcept C110251889 @default.
- W157439360 hasConcept C111472728 @default.
- W157439360 hasConcept C111498074 @default.
- W157439360 hasConcept C111919701 @default.
- W157439360 hasConcept C11413529 @default.
- W157439360 hasConcept C138885662 @default.
- W157439360 hasConcept C145243422 @default.
- W157439360 hasConcept C167822520 @default.
- W157439360 hasConcept C185592680 @default.
- W157439360 hasConcept C188027245 @default.
- W157439360 hasConcept C189950617 @default.
- W157439360 hasConcept C190470478 @default.
- W157439360 hasConcept C199360897 @default.
- W157439360 hasConcept C33923547 @default.
- W157439360 hasConcept C37914503 @default.
- W157439360 hasConcept C41008148 @default.
- W157439360 hasConcept C48677424 @default.
- W157439360 hasConcept C71139939 @default.
- W157439360 hasConcept C80444323 @default.
- W157439360 hasConceptScore W157439360C110251889 @default.
- W157439360 hasConceptScore W157439360C111472728 @default.
- W157439360 hasConceptScore W157439360C111498074 @default.
- W157439360 hasConceptScore W157439360C111919701 @default.
- W157439360 hasConceptScore W157439360C11413529 @default.
- W157439360 hasConceptScore W157439360C138885662 @default.
- W157439360 hasConceptScore W157439360C145243422 @default.
- W157439360 hasConceptScore W157439360C167822520 @default.
- W157439360 hasConceptScore W157439360C185592680 @default.
- W157439360 hasConceptScore W157439360C188027245 @default.
- W157439360 hasConceptScore W157439360C189950617 @default.
- W157439360 hasConceptScore W157439360C190470478 @default.
- W157439360 hasConceptScore W157439360C199360897 @default.
- W157439360 hasConceptScore W157439360C33923547 @default.
- W157439360 hasConceptScore W157439360C37914503 @default.
- W157439360 hasConceptScore W157439360C41008148 @default.
- W157439360 hasConceptScore W157439360C48677424 @default.
- W157439360 hasConceptScore W157439360C71139939 @default.
- W157439360 hasConceptScore W157439360C80444323 @default.
- W157439360 hasLocation W1574393601 @default.
- W157439360 hasLocation W1574393602 @default.
- W157439360 hasOpenAccess W157439360 @default.
- W157439360 hasPrimaryLocation W1574393601 @default.
- W157439360 hasRelatedWork W1485237120 @default.
- W157439360 hasRelatedWork W1513328100 @default.
- W157439360 hasRelatedWork W1558419778 @default.
- W157439360 hasRelatedWork W1592393183 @default.
- W157439360 hasRelatedWork W2141542945 @default.
- W157439360 hasRelatedWork W2370841479 @default.
- W157439360 hasRelatedWork W2741430969 @default.
- W157439360 hasRelatedWork W4214727065 @default.
- W157439360 hasRelatedWork W4221153677 @default.
- W157439360 hasRelatedWork W1590800102 @default.
- W157439360 isParatext "false" @default.
- W157439360 isRetracted "false" @default.
- W157439360 magId "157439360" @default.
- W157439360 workType "book-chapter" @default.