Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012041320> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2012041320 abstract "Automated verification plays vital roles on concurrent system design. PROMELA, as a popular system description language, has been widely used for this purpose. PROMELA models can be analyzed with the SPIN model checker, which is, however, deficient with respect to perform verification under strong fairness. In this work, we represent a translator that can translate PROMELA models into CSP# models automatically, which can be analyzed and be verified under strong fairness using PAT." @default.
- W2012041320 created "2016-06-24" @default.
- W2012041320 creator A5083832701 @default.
- W2012041320 date "2010-06-01" @default.
- W2012041320 modified "2023-09-27" @default.
- W2012041320 title "Yet Another Model Checker for PROMELA - The Transformation Approach" @default.
- W2012041320 cites W1515421996 @default.
- W2012041320 cites W1532054750 @default.
- W2012041320 cites W1540707799 @default.
- W2012041320 cites W1580495911 @default.
- W2012041320 cites W1943502734 @default.
- W2012041320 cites W2110224202 @default.
- W2012041320 cites W2129901874 @default.
- W2012041320 cites W2170133746 @default.
- W2012041320 cites W3144368627 @default.
- W2012041320 doi "https://doi.org/10.1109/ssiri-c.2010.38" @default.
- W2012041320 hasPublicationYear "2010" @default.
- W2012041320 type Work @default.
- W2012041320 sameAs 2012041320 @default.
- W2012041320 citedByCount "0" @default.
- W2012041320 crossrefType "proceedings-article" @default.
- W2012041320 hasAuthorship W2012041320A5083832701 @default.
- W2012041320 hasConcept C104317684 @default.
- W2012041320 hasConcept C110251889 @default.
- W2012041320 hasConcept C111498074 @default.
- W2012041320 hasConcept C185592680 @default.
- W2012041320 hasConcept C199360897 @default.
- W2012041320 hasConcept C204241405 @default.
- W2012041320 hasConcept C2776329536 @default.
- W2012041320 hasConcept C41008148 @default.
- W2012041320 hasConcept C55493867 @default.
- W2012041320 hasConceptScore W2012041320C104317684 @default.
- W2012041320 hasConceptScore W2012041320C110251889 @default.
- W2012041320 hasConceptScore W2012041320C111498074 @default.
- W2012041320 hasConceptScore W2012041320C185592680 @default.
- W2012041320 hasConceptScore W2012041320C199360897 @default.
- W2012041320 hasConceptScore W2012041320C204241405 @default.
- W2012041320 hasConceptScore W2012041320C2776329536 @default.
- W2012041320 hasConceptScore W2012041320C41008148 @default.
- W2012041320 hasConceptScore W2012041320C55493867 @default.
- W2012041320 hasLocation W20120413201 @default.
- W2012041320 hasOpenAccess W2012041320 @default.
- W2012041320 hasPrimaryLocation W20120413201 @default.
- W2012041320 hasRelatedWork W1567923353 @default.
- W2012041320 hasRelatedWork W1601757209 @default.
- W2012041320 hasRelatedWork W174007698 @default.
- W2012041320 hasRelatedWork W1977223654 @default.
- W2012041320 hasRelatedWork W2128091120 @default.
- W2012041320 hasRelatedWork W2151898527 @default.
- W2012041320 hasRelatedWork W2167668669 @default.
- W2012041320 hasRelatedWork W2401820446 @default.
- W2012041320 hasRelatedWork W2741430969 @default.
- W2012041320 hasRelatedWork W2752098725 @default.
- W2012041320 isParatext "false" @default.
- W2012041320 isRetracted "false" @default.
- W2012041320 magId "2012041320" @default.
- W2012041320 workType "article" @default.