Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995909478> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1995909478 endingPage "479" @default.
- W1995909478 startingPage "479" @default.
- W1995909478 abstract "Safety properties are an important class of properties, as in the industrial use of model checking, a large majority of the properties to be checked are safety properties. This work presents an efficient approach to model check safety properties expressed in PSL (IEEE Std 1850 Property Specification Language), an industrial property specification language. The approach can also be used as a sound but incomplete bug-hunting tool for general (non-safety) PSL properties, and it will detect exactly the finite counterexamples that are the informative bad prefixes for the PSL formulae in question. The presented technique is inspired by the temporal testers approach of Pnueli and co-authors, but unlike theirs, the proposed approach is aimed at finding finite counterexamples to properties. The new approach presented here handles a larger syntactic subset of PSL safety properties than earlier translations for PSL safety subsets and has been implemented on top of the open source NuSMV 2 model checker. The experimental results show the approach to be a quite competitive model checking approach when compared to a state-of-the-art implementation of PSL model checking." @default.
- W1995909478 created "2016-06-24" @default.
- W1995909478 creator A5037137004 @default.
- W1995909478 creator A5060220797 @default.
- W1995909478 creator A5078732211 @default.
- W1995909478 date "2011-01-01" @default.
- W1995909478 modified "2023-09-23" @default.
- W1995909478 title "Efficient model checking of PSL safety properties" @default.
- W1995909478 cites W1480531236 @default.
- W1995909478 cites W1487629853 @default.
- W1995909478 cites W1540883472 @default.
- W1995909478 cites W1548402307 @default.
- W1995909478 cites W1573354578 @default.
- W1995909478 cites W1623004875 @default.
- W1995909478 cites W1654252768 @default.
- W1995909478 cites W1994584977 @default.
- W1995909478 cites W2020306722 @default.
- W1995909478 cites W2057312772 @default.
- W1995909478 cites W2061438988 @default.
- W1995909478 cites W2105167627 @default.
- W1995909478 cites W2119964394 @default.
- W1995909478 cites W2130290065 @default.
- W1995909478 cites W2143760481 @default.
- W1995909478 cites W2153657696 @default.
- W1995909478 cites W2158027086 @default.
- W1995909478 cites W2165601498 @default.
- W1995909478 doi "https://doi.org/10.1049/iet-cdt.2010.0154" @default.
- W1995909478 hasPublicationYear "2011" @default.
- W1995909478 type Work @default.
- W1995909478 sameAs 1995909478 @default.
- W1995909478 citedByCount "3" @default.
- W1995909478 countsByYear W19959094782013 @default.
- W1995909478 countsByYear W19959094782015 @default.
- W1995909478 crossrefType "journal-article" @default.
- W1995909478 hasAuthorship W1995909478A5037137004 @default.
- W1995909478 hasAuthorship W1995909478A5060220797 @default.
- W1995909478 hasAuthorship W1995909478A5078732211 @default.
- W1995909478 hasBestOaLocation W19959094782 @default.
- W1995909478 hasConcept C10464949 @default.
- W1995909478 hasConcept C110251889 @default.
- W1995909478 hasConcept C111472728 @default.
- W1995909478 hasConcept C11413529 @default.
- W1995909478 hasConcept C118615104 @default.
- W1995909478 hasConcept C138885662 @default.
- W1995909478 hasConcept C141603448 @default.
- W1995909478 hasConcept C154945302 @default.
- W1995909478 hasConcept C162838799 @default.
- W1995909478 hasConcept C189950617 @default.
- W1995909478 hasConcept C199360897 @default.
- W1995909478 hasConcept C201677973 @default.
- W1995909478 hasConcept C2524010 @default.
- W1995909478 hasConcept C2777212361 @default.
- W1995909478 hasConcept C33923547 @default.
- W1995909478 hasConcept C41008148 @default.
- W1995909478 hasConcept C41895202 @default.
- W1995909478 hasConceptScore W1995909478C10464949 @default.
- W1995909478 hasConceptScore W1995909478C110251889 @default.
- W1995909478 hasConceptScore W1995909478C111472728 @default.
- W1995909478 hasConceptScore W1995909478C11413529 @default.
- W1995909478 hasConceptScore W1995909478C118615104 @default.
- W1995909478 hasConceptScore W1995909478C138885662 @default.
- W1995909478 hasConceptScore W1995909478C141603448 @default.
- W1995909478 hasConceptScore W1995909478C154945302 @default.
- W1995909478 hasConceptScore W1995909478C162838799 @default.
- W1995909478 hasConceptScore W1995909478C189950617 @default.
- W1995909478 hasConceptScore W1995909478C199360897 @default.
- W1995909478 hasConceptScore W1995909478C201677973 @default.
- W1995909478 hasConceptScore W1995909478C2524010 @default.
- W1995909478 hasConceptScore W1995909478C2777212361 @default.
- W1995909478 hasConceptScore W1995909478C33923547 @default.
- W1995909478 hasConceptScore W1995909478C41008148 @default.
- W1995909478 hasConceptScore W1995909478C41895202 @default.
- W1995909478 hasIssue "6" @default.
- W1995909478 hasLocation W19959094781 @default.
- W1995909478 hasLocation W19959094782 @default.
- W1995909478 hasOpenAccess W1995909478 @default.
- W1995909478 hasPrimaryLocation W19959094781 @default.
- W1995909478 hasRelatedWork W105332898 @default.
- W1995909478 hasRelatedWork W1557957257 @default.
- W1995909478 hasRelatedWork W1583364777 @default.
- W1995909478 hasRelatedWork W1995909478 @default.
- W1995909478 hasRelatedWork W2056825861 @default.
- W1995909478 hasRelatedWork W2151898527 @default.
- W1995909478 hasRelatedWork W2257183258 @default.
- W1995909478 hasRelatedWork W2563884417 @default.
- W1995909478 hasRelatedWork W2899234560 @default.
- W1995909478 hasRelatedWork W4255502621 @default.
- W1995909478 hasVolume "5" @default.
- W1995909478 isParatext "false" @default.
- W1995909478 isRetracted "false" @default.
- W1995909478 magId "1995909478" @default.
- W1995909478 workType "article" @default.