Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912454916> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2912454916 endingPage "154" @default.
- W2912454916 startingPage "133" @default.
- W2912454916 abstract "Abstract We describe: (1) the internal structures of FDR, the refinement model checker for Hoare’s Communicating Sequential Processes (CSP); and (2) an application-programming interface (API) that allows users to interact more closely with FDR and to have finer-grain control over its behaviour and data structures. This API makes it possible to create optimised CSP code to perform refinement checks that are more space or time efficient, enabling the analysis of more complex and data-intensive specifications. The API can be used either by those constructing CSP models or by tools that automatically generate CSP code. We present examples of using our tool, including handling advanced FDR features such as transparent functions, which compress state spaces before checking. We also show how to transform FDR’s graph format into a graph notation such as JGraph, enabling visualisation of labelled transition systems of CSP specifications." @default.
- W2912454916 created "2019-02-21" @default.
- W2912454916 creator A5006626759 @default.
- W2912454916 creator A5016733090 @default.
- W2912454916 date "2009-02-01" @default.
- W2912454916 modified "2023-09-25" @default.
- W2912454916 title "FDR Explorer" @default.
- W2912454916 cites W1515600060 @default.
- W2912454916 cites W1560316555 @default.
- W2912454916 cites W1561127208 @default.
- W2912454916 cites W1699855653 @default.
- W2912454916 cites W2074679569 @default.
- W2912454916 cites W2090436214 @default.
- W2912454916 cites W4246017475 @default.
- W2912454916 cites W4296471858 @default.
- W2912454916 doi "https://doi.org/10.1007/s00165-008-0074-7" @default.
- W2912454916 hasPublicationYear "2009" @default.
- W2912454916 type Work @default.
- W2912454916 sameAs 2912454916 @default.
- W2912454916 citedByCount "6" @default.
- W2912454916 countsByYear W29124549162014 @default.
- W2912454916 crossrefType "journal-article" @default.
- W2912454916 hasAuthorship W2912454916A5006626759 @default.
- W2912454916 hasAuthorship W2912454916A5016733090 @default.
- W2912454916 hasBestOaLocation W29124549161 @default.
- W2912454916 hasConcept C110251889 @default.
- W2912454916 hasConcept C132525143 @default.
- W2912454916 hasConcept C155214134 @default.
- W2912454916 hasConcept C156325763 @default.
- W2912454916 hasConcept C162319229 @default.
- W2912454916 hasConcept C177264268 @default.
- W2912454916 hasConcept C184337299 @default.
- W2912454916 hasConcept C199360897 @default.
- W2912454916 hasConcept C24858836 @default.
- W2912454916 hasConcept C2776760102 @default.
- W2912454916 hasConcept C33923547 @default.
- W2912454916 hasConcept C41008148 @default.
- W2912454916 hasConcept C45357846 @default.
- W2912454916 hasConcept C80444323 @default.
- W2912454916 hasConcept C94375191 @default.
- W2912454916 hasConceptScore W2912454916C110251889 @default.
- W2912454916 hasConceptScore W2912454916C132525143 @default.
- W2912454916 hasConceptScore W2912454916C155214134 @default.
- W2912454916 hasConceptScore W2912454916C156325763 @default.
- W2912454916 hasConceptScore W2912454916C162319229 @default.
- W2912454916 hasConceptScore W2912454916C177264268 @default.
- W2912454916 hasConceptScore W2912454916C184337299 @default.
- W2912454916 hasConceptScore W2912454916C199360897 @default.
- W2912454916 hasConceptScore W2912454916C24858836 @default.
- W2912454916 hasConceptScore W2912454916C2776760102 @default.
- W2912454916 hasConceptScore W2912454916C33923547 @default.
- W2912454916 hasConceptScore W2912454916C41008148 @default.
- W2912454916 hasConceptScore W2912454916C45357846 @default.
- W2912454916 hasConceptScore W2912454916C80444323 @default.
- W2912454916 hasConceptScore W2912454916C94375191 @default.
- W2912454916 hasIssue "1-2" @default.
- W2912454916 hasLocation W29124549161 @default.
- W2912454916 hasLocation W29124549162 @default.
- W2912454916 hasOpenAccess W2912454916 @default.
- W2912454916 hasPrimaryLocation W29124549161 @default.
- W2912454916 hasRelatedWork W1501252054 @default.
- W2912454916 hasRelatedWork W1966707489 @default.
- W2912454916 hasRelatedWork W2012923552 @default.
- W2912454916 hasRelatedWork W2018259650 @default.
- W2912454916 hasRelatedWork W2025670560 @default.
- W2912454916 hasRelatedWork W2090686886 @default.
- W2912454916 hasRelatedWork W2147367816 @default.
- W2912454916 hasRelatedWork W2151898527 @default.
- W2912454916 hasRelatedWork W2384847609 @default.
- W2912454916 hasRelatedWork W2897455996 @default.
- W2912454916 hasVolume "21" @default.
- W2912454916 isParatext "false" @default.
- W2912454916 isRetracted "false" @default.
- W2912454916 magId "2912454916" @default.
- W2912454916 workType "article" @default.