Matches in SemOpenAlex for { <https://semopenalex.org/work/W1855953721> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1855953721 abstract "Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera's property specification language PSL to linear temporal logic LTL. Moreover, we extended the temporal logic hierarchy of LTL that distinguishes between safety, liveness, and more difficult properties to PSL . The combination of the translation from PSL to LTL with already available translations from LTL to corresponding classes of ω-automata yields an efficient translation from PSL to ω-automata. In particular, this translation generates liveness or safety automata for corresponding PSL fragments, which is important for several applications like bounded model checking." @default.
- W1855953721 created "2016-06-24" @default.
- W1855953721 creator A5081184867 @default.
- W1855953721 creator A5082586418 @default.
- W1855953721 date "2005-01-01" @default.
- W1855953721 modified "2023-10-14" @default.
- W1855953721 title "From PSL to LTL: A Formal Validation in HOL" @default.
- W1855953721 cites W117768600 @default.
- W1855953721 cites W1492291048 @default.
- W1855953721 cites W1507116188 @default.
- W1855953721 cites W1516806823 @default.
- W1855953721 cites W1528291435 @default.
- W1855953721 cites W1567222743 @default.
- W1855953721 cites W1600581889 @default.
- W1855953721 cites W1833073690 @default.
- W1855953721 cites W1975657455 @default.
- W1855953721 cites W2003940577 @default.
- W1855953721 cites W2025480213 @default.
- W1855953721 cites W2048355938 @default.
- W1855953721 cites W2089003125 @default.
- W1855953721 cites W2117189826 @default.
- W1855953721 cites W2161844436 @default.
- W1855953721 doi "https://doi.org/10.1007/11541868_22" @default.
- W1855953721 hasPublicationYear "2005" @default.
- W1855953721 type Work @default.
- W1855953721 sameAs 1855953721 @default.
- W1855953721 citedByCount "3" @default.
- W1855953721 countsByYear W18559537212012 @default.
- W1855953721 crossrefType "book-chapter" @default.
- W1855953721 hasAuthorship W1855953721A5081184867 @default.
- W1855953721 hasAuthorship W1855953721A5082586418 @default.
- W1855953721 hasConcept C104317684 @default.
- W1855953721 hasConcept C10464949 @default.
- W1855953721 hasConcept C105580179 @default.
- W1855953721 hasConcept C110251889 @default.
- W1855953721 hasConcept C111498074 @default.
- W1855953721 hasConcept C112505250 @default.
- W1855953721 hasConcept C114614502 @default.
- W1855953721 hasConcept C149364088 @default.
- W1855953721 hasConcept C15569618 @default.
- W1855953721 hasConcept C17435882 @default.
- W1855953721 hasConcept C185592680 @default.
- W1855953721 hasConcept C199360897 @default.
- W1855953721 hasConcept C206880738 @default.
- W1855953721 hasConcept C33923547 @default.
- W1855953721 hasConcept C41008148 @default.
- W1855953721 hasConcept C4777664 @default.
- W1855953721 hasConcept C55439883 @default.
- W1855953721 hasConcept C55493867 @default.
- W1855953721 hasConcept C80444323 @default.
- W1855953721 hasConceptScore W1855953721C104317684 @default.
- W1855953721 hasConceptScore W1855953721C10464949 @default.
- W1855953721 hasConceptScore W1855953721C105580179 @default.
- W1855953721 hasConceptScore W1855953721C110251889 @default.
- W1855953721 hasConceptScore W1855953721C111498074 @default.
- W1855953721 hasConceptScore W1855953721C112505250 @default.
- W1855953721 hasConceptScore W1855953721C114614502 @default.
- W1855953721 hasConceptScore W1855953721C149364088 @default.
- W1855953721 hasConceptScore W1855953721C15569618 @default.
- W1855953721 hasConceptScore W1855953721C17435882 @default.
- W1855953721 hasConceptScore W1855953721C185592680 @default.
- W1855953721 hasConceptScore W1855953721C199360897 @default.
- W1855953721 hasConceptScore W1855953721C206880738 @default.
- W1855953721 hasConceptScore W1855953721C33923547 @default.
- W1855953721 hasConceptScore W1855953721C41008148 @default.
- W1855953721 hasConceptScore W1855953721C4777664 @default.
- W1855953721 hasConceptScore W1855953721C55439883 @default.
- W1855953721 hasConceptScore W1855953721C55493867 @default.
- W1855953721 hasConceptScore W1855953721C80444323 @default.
- W1855953721 hasLocation W18559537211 @default.
- W1855953721 hasOpenAccess W1855953721 @default.
- W1855953721 hasPrimaryLocation W18559537211 @default.
- W1855953721 hasRelatedWork W1493206381 @default.
- W1855953721 hasRelatedWork W1583364777 @default.
- W1855953721 hasRelatedWork W1594482512 @default.
- W1855953721 hasRelatedWork W1751458928 @default.
- W1855953721 hasRelatedWork W1855953721 @default.
- W1855953721 hasRelatedWork W2130433881 @default.
- W1855953721 hasRelatedWork W2151898527 @default.
- W1855953721 hasRelatedWork W3194839194 @default.
- W1855953721 hasRelatedWork W2786248583 @default.
- W1855953721 hasRelatedWork W2787556201 @default.
- W1855953721 isParatext "false" @default.
- W1855953721 isRetracted "false" @default.
- W1855953721 magId "1855953721" @default.
- W1855953721 workType "book-chapter" @default.