Matches in SemOpenAlex for { <https://semopenalex.org/work/W1649096907> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1649096907 abstract "An increasing number of industrial strength software design tools come along with verification tools that offer some property checking capabilities. On the other hand, there is a large number of general purpose model checking tools available. The question whether users of the industrial strength design tool preferably use the built-in state space exploration tool or a general purpose model checking tool arises quite naturally. Using the case study of an AUTOSAR compliant memory management module we compare the Simulink Design Verifier and the SPIN model checking tool in terms of their suitability to verify important correctness properties of this module. The comparison is both functional in that it analyzes the suitability to verify a set of basic system properties, and quantitative in comparing the computational efficiency of both tools." @default.
- W1649096907 created "2016-06-24" @default.
- W1649096907 creator A5038809501 @default.
- W1649096907 creator A5045470371 @default.
- W1649096907 date "2008-01-01" @default.
- W1649096907 modified "2023-09-27" @default.
- W1649096907 title "Simulink Design Verifier vs. SPIN : a comparative case study" @default.
- W1649096907 cites W1489391022 @default.
- W1649096907 cites W1503170978 @default.
- W1649096907 cites W1540363498 @default.
- W1649096907 cites W1563778567 @default.
- W1649096907 cites W1802815921 @default.
- W1649096907 cites W1943502734 @default.
- W1649096907 cites W1996832037 @default.
- W1649096907 cites W2081620490 @default.
- W1649096907 cites W2147765639 @default.
- W1649096907 cites W2161017149 @default.
- W1649096907 cites W2162105624 @default.
- W1649096907 cites W2168865081 @default.
- W1649096907 cites W2170064878 @default.
- W1649096907 cites W2585473670 @default.
- W1649096907 hasPublicationYear "2008" @default.
- W1649096907 type Work @default.
- W1649096907 sameAs 1649096907 @default.
- W1649096907 citedByCount "2" @default.
- W1649096907 countsByYear W16490969072013 @default.
- W1649096907 crossrefType "journal-article" @default.
- W1649096907 hasAuthorship W1649096907A5038809501 @default.
- W1649096907 hasAuthorship W1649096907A5045470371 @default.
- W1649096907 hasConcept C110251889 @default.
- W1649096907 hasConcept C115903868 @default.
- W1649096907 hasConcept C127413603 @default.
- W1649096907 hasConcept C149091818 @default.
- W1649096907 hasConcept C177264268 @default.
- W1649096907 hasConcept C186846655 @default.
- W1649096907 hasConcept C199360897 @default.
- W1649096907 hasConcept C200601418 @default.
- W1649096907 hasConcept C2777904410 @default.
- W1649096907 hasConcept C2778602020 @default.
- W1649096907 hasConcept C33054407 @default.
- W1649096907 hasConcept C41008148 @default.
- W1649096907 hasConcept C55439883 @default.
- W1649096907 hasConceptScore W1649096907C110251889 @default.
- W1649096907 hasConceptScore W1649096907C115903868 @default.
- W1649096907 hasConceptScore W1649096907C127413603 @default.
- W1649096907 hasConceptScore W1649096907C149091818 @default.
- W1649096907 hasConceptScore W1649096907C177264268 @default.
- W1649096907 hasConceptScore W1649096907C186846655 @default.
- W1649096907 hasConceptScore W1649096907C199360897 @default.
- W1649096907 hasConceptScore W1649096907C200601418 @default.
- W1649096907 hasConceptScore W1649096907C2777904410 @default.
- W1649096907 hasConceptScore W1649096907C2778602020 @default.
- W1649096907 hasConceptScore W1649096907C33054407 @default.
- W1649096907 hasConceptScore W1649096907C41008148 @default.
- W1649096907 hasConceptScore W1649096907C55439883 @default.
- W1649096907 hasLocation W16490969071 @default.
- W1649096907 hasOpenAccess W1649096907 @default.
- W1649096907 hasPrimaryLocation W16490969071 @default.
- W1649096907 hasRelatedWork W128462892 @default.
- W1649096907 hasRelatedWork W1501958072 @default.
- W1649096907 hasRelatedWork W1551570928 @default.
- W1649096907 hasRelatedWork W1559274767 @default.
- W1649096907 hasRelatedWork W1627776297 @default.
- W1649096907 hasRelatedWork W174390253 @default.
- W1649096907 hasRelatedWork W2081076017 @default.
- W1649096907 hasRelatedWork W2399352543 @default.
- W1649096907 hasRelatedWork W2942122223 @default.
- W1649096907 hasRelatedWork W2950845427 @default.
- W1649096907 hasRelatedWork W3022572449 @default.
- W1649096907 hasRelatedWork W3043774277 @default.
- W1649096907 hasRelatedWork W3140438612 @default.
- W1649096907 hasRelatedWork W3155968755 @default.
- W1649096907 hasRelatedWork W3165541793 @default.
- W1649096907 hasRelatedWork W3172592804 @default.
- W1649096907 hasRelatedWork W3184346668 @default.
- W1649096907 hasRelatedWork W3190680636 @default.
- W1649096907 hasRelatedWork W32034056 @default.
- W1649096907 hasRelatedWork W2201766523 @default.
- W1649096907 isParatext "false" @default.
- W1649096907 isRetracted "false" @default.
- W1649096907 magId "1649096907" @default.
- W1649096907 workType "article" @default.