Matches in SemOpenAlex for { <https://semopenalex.org/work/W2555600150> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2555600150 abstract "muCRL is a process algebraic language for the formal specification and analysis of the behaviour of distributed systems. The toolset of muCRL is the result of software engineering research with a very strong foundation in formal theories/methods, which supports the analysis and manipulation of muCRL specifications. This paper investigates a Computer Science based approach for specification and verification of hardware circuits using muCRL and its toolset. Two standard benchmark circuits are described in muCRL and analysed by the muCRL toolset together with the software tools CADP and SPIN, which are well-equipped with the muCRL toolset." @default.
- W2555600150 created "2016-11-30" @default.
- W2555600150 creator A5075116069 @default.
- W2555600150 date "2008-11-01" @default.
- W2555600150 modified "2023-09-23" @default.
- W2555600150 title "μCRL: A Computer Science based approach for specification and verification of hardware circuits" @default.
- W2555600150 cites W1503158842 @default.
- W2555600150 cites W1593284044 @default.
- W2555600150 cites W1972608903 @default.
- W2555600150 cites W2026591657 @default.
- W2555600150 cites W2044667269 @default.
- W2555600150 cites W2077815947 @default.
- W2555600150 cites W2097866305 @default.
- W2555600150 cites W2137609239 @default.
- W2555600150 cites W4211008702 @default.
- W2555600150 cites W4214535918 @default.
- W2555600150 cites W4244719572 @default.
- W2555600150 doi "https://doi.org/10.1109/socdc.2008.4815653" @default.
- W2555600150 hasPublicationYear "2008" @default.
- W2555600150 type Work @default.
- W2555600150 sameAs 2555600150 @default.
- W2555600150 citedByCount "3" @default.
- W2555600150 countsByYear W25556001502022 @default.
- W2555600150 crossrefType "proceedings-article" @default.
- W2555600150 hasAuthorship W2555600150A5075116069 @default.
- W2555600150 hasConcept C111498074 @default.
- W2555600150 hasConcept C113775141 @default.
- W2555600150 hasConcept C115903868 @default.
- W2555600150 hasConcept C116253237 @default.
- W2555600150 hasConcept C118524514 @default.
- W2555600150 hasConcept C119599485 @default.
- W2555600150 hasConcept C127413603 @default.
- W2555600150 hasConcept C13280743 @default.
- W2555600150 hasConcept C134146338 @default.
- W2555600150 hasConcept C185798385 @default.
- W2555600150 hasConcept C199360897 @default.
- W2555600150 hasConcept C205649164 @default.
- W2555600150 hasConcept C2777904410 @default.
- W2555600150 hasConcept C41008148 @default.
- W2555600150 hasConcept C75606506 @default.
- W2555600150 hasConcept C98045186 @default.
- W2555600150 hasConceptScore W2555600150C111498074 @default.
- W2555600150 hasConceptScore W2555600150C113775141 @default.
- W2555600150 hasConceptScore W2555600150C115903868 @default.
- W2555600150 hasConceptScore W2555600150C116253237 @default.
- W2555600150 hasConceptScore W2555600150C118524514 @default.
- W2555600150 hasConceptScore W2555600150C119599485 @default.
- W2555600150 hasConceptScore W2555600150C127413603 @default.
- W2555600150 hasConceptScore W2555600150C13280743 @default.
- W2555600150 hasConceptScore W2555600150C134146338 @default.
- W2555600150 hasConceptScore W2555600150C185798385 @default.
- W2555600150 hasConceptScore W2555600150C199360897 @default.
- W2555600150 hasConceptScore W2555600150C205649164 @default.
- W2555600150 hasConceptScore W2555600150C2777904410 @default.
- W2555600150 hasConceptScore W2555600150C41008148 @default.
- W2555600150 hasConceptScore W2555600150C75606506 @default.
- W2555600150 hasConceptScore W2555600150C98045186 @default.
- W2555600150 hasLocation W25556001501 @default.
- W2555600150 hasOpenAccess W2555600150 @default.
- W2555600150 hasPrimaryLocation W25556001501 @default.
- W2555600150 hasRelatedWork W1524361563 @default.
- W2555600150 hasRelatedWork W1536552036 @default.
- W2555600150 hasRelatedWork W1601757209 @default.
- W2555600150 hasRelatedWork W1614816533 @default.
- W2555600150 hasRelatedWork W1977144985 @default.
- W2555600150 hasRelatedWork W2121507724 @default.
- W2555600150 hasRelatedWork W2123319381 @default.
- W2555600150 hasRelatedWork W2156223462 @default.
- W2555600150 hasRelatedWork W2576260943 @default.
- W2555600150 hasRelatedWork W2897842245 @default.
- W2555600150 isParatext "false" @default.
- W2555600150 isRetracted "false" @default.
- W2555600150 magId "2555600150" @default.
- W2555600150 workType "article" @default.