Matches in SemOpenAlex for { <https://semopenalex.org/work/W1901568548> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1901568548 endingPage "435" @default.
- W1901568548 startingPage "421" @default.
- W1901568548 abstract "We describe a software model checking tool founded on game semantics, highlight the underpinning theoretical results and discuss several case studies. The tool is based on an interpretation algorithm defined compositionally on syntax and thus can also handle open programs. Moreover, the models it produces are equationally fully abstract. These features are essential in the modeling and verification of software components such as modules and turn out to lead to very compact models of programs." @default.
- W1901568548 created "2016-06-24" @default.
- W1901568548 creator A5000119795 @default.
- W1901568548 creator A5025152913 @default.
- W1901568548 creator A5072298249 @default.
- W1901568548 creator A5081687891 @default.
- W1901568548 date "2004-01-01" @default.
- W1901568548 modified "2023-10-17" @default.
- W1901568548 title "Applying Game Semantics to Compositional Software Modeling and Verification" @default.
- W1901568548 cites W1534339430 @default.
- W1901568548 cites W1535237014 @default.
- W1901568548 cites W1546606300 @default.
- W1901568548 cites W1596365597 @default.
- W1901568548 cites W1746026482 @default.
- W1901568548 cites W1877442346 @default.
- W1901568548 cites W1883667652 @default.
- W1901568548 cites W2011050558 @default.
- W1901568548 cites W2015534329 @default.
- W1901568548 cites W2024189573 @default.
- W1901568548 cites W2025480213 @default.
- W1901568548 cites W2048905609 @default.
- W1901568548 cites W2054450126 @default.
- W1901568548 cites W2102161786 @default.
- W1901568548 cites W2109548990 @default.
- W1901568548 cites W2111753126 @default.
- W1901568548 cites W2115716046 @default.
- W1901568548 cites W2126194256 @default.
- W1901568548 cites W2135274583 @default.
- W1901568548 cites W2161522904 @default.
- W1901568548 cites W2165446401 @default.
- W1901568548 cites W2293287097 @default.
- W1901568548 doi "https://doi.org/10.1007/978-3-540-24730-2_32" @default.
- W1901568548 hasPublicationYear "2004" @default.
- W1901568548 type Work @default.
- W1901568548 sameAs 1901568548 @default.
- W1901568548 citedByCount "59" @default.
- W1901568548 countsByYear W19015685482012 @default.
- W1901568548 countsByYear W19015685482013 @default.
- W1901568548 countsByYear W19015685482014 @default.
- W1901568548 countsByYear W19015685482015 @default.
- W1901568548 countsByYear W19015685482016 @default.
- W1901568548 countsByYear W19015685482017 @default.
- W1901568548 countsByYear W19015685482020 @default.
- W1901568548 countsByYear W19015685482021 @default.
- W1901568548 crossrefType "book-chapter" @default.
- W1901568548 hasAuthorship W1901568548A5000119795 @default.
- W1901568548 hasAuthorship W1901568548A5025152913 @default.
- W1901568548 hasAuthorship W1901568548A5072298249 @default.
- W1901568548 hasAuthorship W1901568548A5081687891 @default.
- W1901568548 hasBestOaLocation W19015685481 @default.
- W1901568548 hasConcept C115903868 @default.
- W1901568548 hasConcept C154945302 @default.
- W1901568548 hasConcept C184337299 @default.
- W1901568548 hasConcept C199360897 @default.
- W1901568548 hasConcept C2777904410 @default.
- W1901568548 hasConcept C2780654840 @default.
- W1901568548 hasConcept C41008148 @default.
- W1901568548 hasConcept C527412718 @default.
- W1901568548 hasConcept C60048249 @default.
- W1901568548 hasConcept C80444323 @default.
- W1901568548 hasConceptScore W1901568548C115903868 @default.
- W1901568548 hasConceptScore W1901568548C154945302 @default.
- W1901568548 hasConceptScore W1901568548C184337299 @default.
- W1901568548 hasConceptScore W1901568548C199360897 @default.
- W1901568548 hasConceptScore W1901568548C2777904410 @default.
- W1901568548 hasConceptScore W1901568548C2780654840 @default.
- W1901568548 hasConceptScore W1901568548C41008148 @default.
- W1901568548 hasConceptScore W1901568548C527412718 @default.
- W1901568548 hasConceptScore W1901568548C60048249 @default.
- W1901568548 hasConceptScore W1901568548C80444323 @default.
- W1901568548 hasLocation W19015685481 @default.
- W1901568548 hasOpenAccess W1901568548 @default.
- W1901568548 hasPrimaryLocation W19015685481 @default.
- W1901568548 hasRelatedWork W1558230924 @default.
- W1901568548 hasRelatedWork W1587224678 @default.
- W1901568548 hasRelatedWork W2016527594 @default.
- W1901568548 hasRelatedWork W2074638034 @default.
- W1901568548 hasRelatedWork W2172022734 @default.
- W1901568548 hasRelatedWork W2203405714 @default.
- W1901568548 hasRelatedWork W3147812817 @default.
- W1901568548 hasRelatedWork W4246531319 @default.
- W1901568548 hasRelatedWork W817135640 @default.
- W1901568548 hasRelatedWork W1880843538 @default.
- W1901568548 isParatext "false" @default.
- W1901568548 isRetracted "false" @default.
- W1901568548 magId "1901568548" @default.
- W1901568548 workType "book-chapter" @default.