Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500242544> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1500242544 endingPage "92" @default.
- W1500242544 startingPage "83" @default.
- W1500242544 abstract "In this paper we present a combined method, which enables the collaboration of parallel debugging techniques with simulation and verification of parallel program’s coloured Petri-net model in the frame of an integrated development environment. For parallel applications, written in the hybrid graphical language of P-GRADE, the coloured Petri-net model can be automatically generated. The Occurrence Graph (a kind of state-space) is constructed straight away from the model by the GRSIM simulation engine, which allows examining and querying the Occurrence Graph for critical information, such as dead-locks, wrong termination, or the meeting the temporal logic specification. Based on the obtained information the macrostep-based execution can be steered towards the erroneous situations assisting to users to improve the quality of their software." @default.
- W1500242544 created "2016-06-24" @default.
- W1500242544 creator A5038074389 @default.
- W1500242544 creator A5045553620 @default.
- W1500242544 date "2005-12-30" @default.
- W1500242544 modified "2023-09-27" @default.
- W1500242544 title "Integration of Formal Verification and Debugging Methods in P-GRADE Environment" @default.
- W1500242544 cites W1492842935 @default.
- W1500242544 cites W1575449779 @default.
- W1500242544 cites W1596566034 @default.
- W1500242544 cites W1977895109 @default.
- W1500242544 cites W2011610400 @default.
- W1500242544 cites W2037215780 @default.
- W1500242544 cites W2063215088 @default.
- W1500242544 cites W2074405879 @default.
- W1500242544 cites W2075800370 @default.
- W1500242544 cites W2539130632 @default.
- W1500242544 doi "https://doi.org/10.1007/0-387-23096-3_10" @default.
- W1500242544 hasPublicationYear "2005" @default.
- W1500242544 type Work @default.
- W1500242544 sameAs 1500242544 @default.
- W1500242544 citedByCount "1" @default.
- W1500242544 crossrefType "book-chapter" @default.
- W1500242544 hasAuthorship W1500242544A5038074389 @default.
- W1500242544 hasAuthorship W1500242544A5045553620 @default.
- W1500242544 hasBestOaLocation W15002425441 @default.
- W1500242544 hasConcept C105795698 @default.
- W1500242544 hasConcept C115903868 @default.
- W1500242544 hasConcept C120314980 @default.
- W1500242544 hasConcept C126042441 @default.
- W1500242544 hasConcept C132525143 @default.
- W1500242544 hasConcept C136388014 @default.
- W1500242544 hasConcept C168065819 @default.
- W1500242544 hasConcept C199360897 @default.
- W1500242544 hasConcept C33923547 @default.
- W1500242544 hasConcept C38677869 @default.
- W1500242544 hasConcept C41008148 @default.
- W1500242544 hasConcept C72434380 @default.
- W1500242544 hasConcept C76155785 @default.
- W1500242544 hasConcept C80444323 @default.
- W1500242544 hasConceptScore W1500242544C105795698 @default.
- W1500242544 hasConceptScore W1500242544C115903868 @default.
- W1500242544 hasConceptScore W1500242544C120314980 @default.
- W1500242544 hasConceptScore W1500242544C126042441 @default.
- W1500242544 hasConceptScore W1500242544C132525143 @default.
- W1500242544 hasConceptScore W1500242544C136388014 @default.
- W1500242544 hasConceptScore W1500242544C168065819 @default.
- W1500242544 hasConceptScore W1500242544C199360897 @default.
- W1500242544 hasConceptScore W1500242544C33923547 @default.
- W1500242544 hasConceptScore W1500242544C38677869 @default.
- W1500242544 hasConceptScore W1500242544C41008148 @default.
- W1500242544 hasConceptScore W1500242544C72434380 @default.
- W1500242544 hasConceptScore W1500242544C76155785 @default.
- W1500242544 hasConceptScore W1500242544C80444323 @default.
- W1500242544 hasLocation W15002425441 @default.
- W1500242544 hasOpenAccess W1500242544 @default.
- W1500242544 hasPrimaryLocation W15002425441 @default.
- W1500242544 hasRelatedWork W1536968357 @default.
- W1500242544 hasRelatedWork W1551485614 @default.
- W1500242544 hasRelatedWork W1579177548 @default.
- W1500242544 hasRelatedWork W1587224678 @default.
- W1500242544 hasRelatedWork W1601811574 @default.
- W1500242544 hasRelatedWork W1608234008 @default.
- W1500242544 hasRelatedWork W201088255 @default.
- W1500242544 hasRelatedWork W2171468557 @default.
- W1500242544 hasRelatedWork W2680688245 @default.
- W1500242544 hasRelatedWork W4231460484 @default.
- W1500242544 isParatext "false" @default.
- W1500242544 isRetracted "false" @default.
- W1500242544 magId "1500242544" @default.
- W1500242544 workType "book-chapter" @default.