Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045082924> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2045082924 abstract "This paper presents runspin and parsepan, two utilities to ease the verification process with the SPIN model checker. runspin allows the management of verification configurations within PROMELA models and takes care of the automatic verification.Moreover, runspin adds essential data to the verification report. parsepan is used to selectively retrieve information from verification reports. Used together the two tools can act as unit testing engine for PROMELA models." @default.
- W2045082924 created "2016-06-24" @default.
- W2045082924 creator A5059922777 @default.
- W2045082924 date "2014-07-21" @default.
- W2045082924 modified "2023-09-24" @default.
- W2045082924 title "Unit testing for SPIN: runspin and parsepan" @default.
- W2045082924 cites W138250652 @default.
- W2045082924 cites W1587480419 @default.
- W2045082924 cites W2036267700 @default.
- W2045082924 cites W2148238464 @default.
- W2045082924 cites W2148399530 @default.
- W2045082924 doi "https://doi.org/10.1145/2632362.2632382" @default.
- W2045082924 hasPublicationYear "2014" @default.
- W2045082924 type Work @default.
- W2045082924 sameAs 2045082924 @default.
- W2045082924 citedByCount "0" @default.
- W2045082924 crossrefType "proceedings-article" @default.
- W2045082924 hasAuthorship W2045082924A5059922777 @default.
- W2045082924 hasConcept C110251889 @default.
- W2045082924 hasConcept C111498074 @default.
- W2045082924 hasConcept C115903868 @default.
- W2045082924 hasConcept C142284323 @default.
- W2045082924 hasConcept C186846655 @default.
- W2045082924 hasConcept C199360897 @default.
- W2045082924 hasConcept C2776329536 @default.
- W2045082924 hasConcept C2777904410 @default.
- W2045082924 hasConcept C3406870 @default.
- W2045082924 hasConcept C41008148 @default.
- W2045082924 hasConcept C529173508 @default.
- W2045082924 hasConcept C98045186 @default.
- W2045082924 hasConceptScore W2045082924C110251889 @default.
- W2045082924 hasConceptScore W2045082924C111498074 @default.
- W2045082924 hasConceptScore W2045082924C115903868 @default.
- W2045082924 hasConceptScore W2045082924C142284323 @default.
- W2045082924 hasConceptScore W2045082924C186846655 @default.
- W2045082924 hasConceptScore W2045082924C199360897 @default.
- W2045082924 hasConceptScore W2045082924C2776329536 @default.
- W2045082924 hasConceptScore W2045082924C2777904410 @default.
- W2045082924 hasConceptScore W2045082924C3406870 @default.
- W2045082924 hasConceptScore W2045082924C41008148 @default.
- W2045082924 hasConceptScore W2045082924C529173508 @default.
- W2045082924 hasConceptScore W2045082924C98045186 @default.
- W2045082924 hasLocation W20450829241 @default.
- W2045082924 hasOpenAccess W2045082924 @default.
- W2045082924 hasPrimaryLocation W20450829241 @default.
- W2045082924 hasRelatedWork W1504525241 @default.
- W2045082924 hasRelatedWork W1538854713 @default.
- W2045082924 hasRelatedWork W1541969962 @default.
- W2045082924 hasRelatedWork W1566914015 @default.
- W2045082924 hasRelatedWork W1968757488 @default.
- W2045082924 hasRelatedWork W2066795333 @default.
- W2045082924 hasRelatedWork W2084909409 @default.
- W2045082924 hasRelatedWork W2141178378 @default.
- W2045082924 hasRelatedWork W2153855203 @default.
- W2045082924 hasRelatedWork W2294621091 @default.
- W2045082924 hasRelatedWork W2365056313 @default.
- W2045082924 hasRelatedWork W2367213712 @default.
- W2045082924 hasRelatedWork W2376189070 @default.
- W2045082924 hasRelatedWork W27258475 @default.
- W2045082924 hasRelatedWork W2997648349 @default.
- W2045082924 hasRelatedWork W3129202142 @default.
- W2045082924 hasRelatedWork W560686730 @default.
- W2045082924 hasRelatedWork W2231637906 @default.
- W2045082924 hasRelatedWork W2474794570 @default.
- W2045082924 hasRelatedWork W2878239543 @default.
- W2045082924 isParatext "false" @default.
- W2045082924 isRetracted "false" @default.
- W2045082924 magId "2045082924" @default.
- W2045082924 workType "article" @default.