Matches in SemOpenAlex for { <https://semopenalex.org/work/W140676861> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W140676861 endingPage "471" @default.
- W140676861 startingPage "465" @default.
- W140676861 abstract "Developers who use C model checkers have to overcome three usability challenges: First, it is difficult to express application level properties as C-level verification conditions, due to the abstraction gap. Second, without advanced IDE support, it is difficult to interpret the counterexamples produced by the model checker and understand what went wrong in terms of application level properties. Third, most C model checkers support only a subset of C and it is easy for developers to inadvertently use C constructs outside this subset. In this paper we report on our preliminary experience with using the MPS language workbench to integrate the CBMC model checker with a set of domain-specific extensions of C for developing embedded software. Higher level language constructs such as components and decision tables makes it easier for end users to bridge the abstraction gap, to write verification conditions and to interpret the analysis results. Furthermore, the use of language workbenches allows the definition of analyzable language subsets, making the implementation of analyses simpler and their use more predictable." @default.
- W140676861 created "2016-06-24" @default.
- W140676861 creator A5002303476 @default.
- W140676861 creator A5053270302 @default.
- W140676861 creator A5072338065 @default.
- W140676861 creator A5085769561 @default.
- W140676861 date "2013-01-01" @default.
- W140676861 modified "2023-09-27" @default.
- W140676861 title "Using Language Engineering to Lift Languages and Analyses at the Domain Level" @default.
- W140676861 cites W10718265 @default.
- W140676861 cites W171551482 @default.
- W140676861 cites W1995048285 @default.
- W140676861 cites W2078534088 @default.
- W140676861 cites W2105357036 @default.
- W140676861 cites W2129538349 @default.
- W140676861 cites W2135274583 @default.
- W140676861 cites W2165097559 @default.
- W140676861 cites W2185335208 @default.
- W140676861 cites W3149259286 @default.
- W140676861 doi "https://doi.org/10.1007/978-3-642-38088-4_35" @default.
- W140676861 hasPublicationYear "2013" @default.
- W140676861 type Work @default.
- W140676861 sameAs 140676861 @default.
- W140676861 citedByCount "6" @default.
- W140676861 countsByYear W1406768612014 @default.
- W140676861 countsByYear W1406768612017 @default.
- W140676861 countsByYear W1406768612019 @default.
- W140676861 countsByYear W1406768612021 @default.
- W140676861 crossrefType "book-chapter" @default.
- W140676861 hasAuthorship W140676861A5002303476 @default.
- W140676861 hasAuthorship W140676861A5053270302 @default.
- W140676861 hasAuthorship W140676861A5072338065 @default.
- W140676861 hasAuthorship W140676861A5085769561 @default.
- W140676861 hasBestOaLocation W1406768612 @default.
- W140676861 hasConcept C124101348 @default.
- W140676861 hasConcept C134306372 @default.
- W140676861 hasConcept C135257023 @default.
- W140676861 hasConcept C138885662 @default.
- W140676861 hasConcept C139002025 @default.
- W140676861 hasConcept C199360897 @default.
- W140676861 hasConcept C33923547 @default.
- W140676861 hasConcept C36503486 @default.
- W140676861 hasConcept C41008148 @default.
- W140676861 hasConcept C41895202 @default.
- W140676861 hasConceptScore W140676861C124101348 @default.
- W140676861 hasConceptScore W140676861C134306372 @default.
- W140676861 hasConceptScore W140676861C135257023 @default.
- W140676861 hasConceptScore W140676861C138885662 @default.
- W140676861 hasConceptScore W140676861C139002025 @default.
- W140676861 hasConceptScore W140676861C199360897 @default.
- W140676861 hasConceptScore W140676861C33923547 @default.
- W140676861 hasConceptScore W140676861C36503486 @default.
- W140676861 hasConceptScore W140676861C41008148 @default.
- W140676861 hasConceptScore W140676861C41895202 @default.
- W140676861 hasLocation W1406768611 @default.
- W140676861 hasLocation W1406768612 @default.
- W140676861 hasOpenAccess W140676861 @default.
- W140676861 hasPrimaryLocation W1406768611 @default.
- W140676861 hasRelatedWork W1881144118 @default.
- W140676861 hasRelatedWork W2135396778 @default.
- W140676861 hasRelatedWork W2161636786 @default.
- W140676861 hasRelatedWork W2519339279 @default.
- W140676861 hasRelatedWork W3006199460 @default.
- W140676861 hasRelatedWork W3162240892 @default.
- W140676861 hasRelatedWork W4231260205 @default.
- W140676861 hasRelatedWork W4232821993 @default.
- W140676861 hasRelatedWork W4235530921 @default.
- W140676861 hasRelatedWork W4245713008 @default.
- W140676861 isParatext "false" @default.
- W140676861 isRetracted "false" @default.
- W140676861 magId "140676861" @default.
- W140676861 workType "book-chapter" @default.