Matches in SemOpenAlex for { <https://semopenalex.org/work/W21378314> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W21378314 abstract "Formal Methods are becoming more an more important for the development of hardware and software systems. Verification tools support the employment of Formal Methods. This paper gives an overview of the design and implementation of the verification tool Truth. We define and explain requirements for verification tools. Furthermore, we discuss several semantic models, specification languages and logics and their visualisation from a tool builder’s perspective and show how these requirements were adopted in Truth." @default.
- W21378314 created "2016-06-24" @default.
- W21378314 creator A5002397514 @default.
- W21378314 creator A5090867745 @default.
- W21378314 date "1998-01-01" @default.
- W21378314 modified "2023-09-26" @default.
- W21378314 title "Truth–-A Platform for Verification of Distributed Systems" @default.
- W21378314 cites W1501130453 @default.
- W21378314 cites W1503170978 @default.
- W21378314 cites W1503973138 @default.
- W21378314 cites W1504623906 @default.
- W21378314 cites W1507985299 @default.
- W21378314 cites W1512310098 @default.
- W21378314 cites W1529497146 @default.
- W21378314 cites W1546948343 @default.
- W21378314 cites W1555595210 @default.
- W21378314 cites W1558109178 @default.
- W21378314 cites W1567730556 @default.
- W21378314 cites W1589005865 @default.
- W21378314 cites W1607782211 @default.
- W21378314 cites W1988808695 @default.
- W21378314 cites W1992582873 @default.
- W21378314 cites W2015640848 @default.
- W21378314 cites W2034717157 @default.
- W21378314 cites W2057260173 @default.
- W21378314 cites W2062950667 @default.
- W21378314 cites W2074802267 @default.
- W21378314 cites W2087404516 @default.
- W21378314 cites W2090398333 @default.
- W21378314 cites W2106102830 @default.
- W21378314 cites W2112525359 @default.
- W21378314 cites W2121372686 @default.
- W21378314 cites W2129296169 @default.
- W21378314 cites W2168498451 @default.
- W21378314 hasPublicationYear "1998" @default.
- W21378314 type Work @default.
- W21378314 sameAs 21378314 @default.
- W21378314 citedByCount "1" @default.
- W21378314 crossrefType "journal-article" @default.
- W21378314 hasAuthorship W21378314A5002397514 @default.
- W21378314 hasAuthorship W21378314A5090867745 @default.
- W21378314 hasConcept C111498074 @default.
- W21378314 hasConcept C115903868 @default.
- W21378314 hasConcept C12713177 @default.
- W21378314 hasConcept C142284323 @default.
- W21378314 hasConcept C154945302 @default.
- W21378314 hasConcept C186846655 @default.
- W21378314 hasConcept C199360897 @default.
- W21378314 hasConcept C2777904410 @default.
- W21378314 hasConcept C33054407 @default.
- W21378314 hasConcept C3406870 @default.
- W21378314 hasConcept C41008148 @default.
- W21378314 hasConcept C529173508 @default.
- W21378314 hasConcept C62460635 @default.
- W21378314 hasConcept C75606506 @default.
- W21378314 hasConceptScore W21378314C111498074 @default.
- W21378314 hasConceptScore W21378314C115903868 @default.
- W21378314 hasConceptScore W21378314C12713177 @default.
- W21378314 hasConceptScore W21378314C142284323 @default.
- W21378314 hasConceptScore W21378314C154945302 @default.
- W21378314 hasConceptScore W21378314C186846655 @default.
- W21378314 hasConceptScore W21378314C199360897 @default.
- W21378314 hasConceptScore W21378314C2777904410 @default.
- W21378314 hasConceptScore W21378314C33054407 @default.
- W21378314 hasConceptScore W21378314C3406870 @default.
- W21378314 hasConceptScore W21378314C41008148 @default.
- W21378314 hasConceptScore W21378314C529173508 @default.
- W21378314 hasConceptScore W21378314C62460635 @default.
- W21378314 hasConceptScore W21378314C75606506 @default.
- W21378314 hasLocation W213783141 @default.
- W21378314 hasOpenAccess W21378314 @default.
- W21378314 hasPrimaryLocation W213783141 @default.
- W21378314 hasRelatedWork W1482875841 @default.
- W21378314 hasRelatedWork W1497140891 @default.
- W21378314 hasRelatedWork W1585321256 @default.
- W21378314 hasRelatedWork W1598111966 @default.
- W21378314 hasRelatedWork W1836717328 @default.
- W21378314 hasRelatedWork W1982763467 @default.
- W21378314 hasRelatedWork W2004349200 @default.
- W21378314 hasRelatedWork W2033050790 @default.
- W21378314 hasRelatedWork W2100731616 @default.
- W21378314 hasRelatedWork W2107006294 @default.
- W21378314 hasRelatedWork W2119669916 @default.
- W21378314 hasRelatedWork W2154356513 @default.
- W21378314 hasRelatedWork W2611035055 @default.
- W21378314 hasRelatedWork W2949756156 @default.
- W21378314 hasRelatedWork W3006023511 @default.
- W21378314 hasRelatedWork W3049745638 @default.
- W21378314 hasRelatedWork W565232785 @default.
- W21378314 hasRelatedWork W57597413 @default.
- W21378314 hasRelatedWork W94771928 @default.
- W21378314 hasRelatedWork W2293517994 @default.
- W21378314 isParatext "false" @default.
- W21378314 isRetracted "false" @default.
- W21378314 magId "21378314" @default.
- W21378314 workType "article" @default.