Matches in SemOpenAlex for { <https://semopenalex.org/work/W2998933178> ?p ?o ?g. }
- W2998933178 endingPage "530" @default.
- W2998933178 startingPage "519" @default.
- W2998933178 abstract "This paper proposes an approach to verifying context free properties of programs. In this approach, the system to be verified is modeled as a program m in Modeling, Simulation and Verification Language (MSVL), and the desired property is also specified by an MSVL program m′. Then program m and formula ¬m′ are interpreted by means of executing programs m and m′. If an acceptable execution path is generated, a counterexample is found, otherwise the property is valid. To show how the proposed approach works, an example is given." @default.
- W2998933178 created "2020-01-23" @default.
- W2998933178 creator A5003990194 @default.
- W2998933178 creator A5009318195 @default.
- W2998933178 creator A5071051896 @default.
- W2998933178 creator A5077298638 @default.
- W2998933178 date "2020-02-01" @default.
- W2998933178 modified "2023-10-18" @default.
- W2998933178 title "A novel approach to verifying context free properties of programs" @default.
- W2998933178 cites W1480909796 @default.
- W2998933178 cites W1488858096 @default.
- W2998933178 cites W1529349649 @default.
- W2998933178 cites W1561867409 @default.
- W2998933178 cites W1590315663 @default.
- W2998933178 cites W1591672107 @default.
- W2998933178 cites W1593428110 @default.
- W2998933178 cites W1861590051 @default.
- W2998933178 cites W1881102326 @default.
- W2998933178 cites W1968448471 @default.
- W2998933178 cites W2002089154 @default.
- W2998933178 cites W2003227046 @default.
- W2998933178 cites W2015640848 @default.
- W2998933178 cites W2036526834 @default.
- W2998933178 cites W2048880957 @default.
- W2998933178 cites W2050552305 @default.
- W2998933178 cites W2051054731 @default.
- W2998933178 cites W2053294975 @default.
- W2998933178 cites W2067441543 @default.
- W2998933178 cites W2086950378 @default.
- W2998933178 cites W2102236203 @default.
- W2998933178 cites W2116998907 @default.
- W2998933178 cites W2117189826 @default.
- W2998933178 cites W2123298155 @default.
- W2998933178 cites W2127574686 @default.
- W2998933178 cites W2134918221 @default.
- W2998933178 cites W2141957585 @default.
- W2998933178 cites W2148845055 @default.
- W2998933178 cites W2149706659 @default.
- W2998933178 cites W2161253570 @default.
- W2998933178 cites W2294578947 @default.
- W2998933178 cites W2530261561 @default.
- W2998933178 cites W2618805227 @default.
- W2998933178 cites W2742794271 @default.
- W2998933178 cites W2755144723 @default.
- W2998933178 cites W2883870930 @default.
- W2998933178 cites W2900584170 @default.
- W2998933178 doi "https://doi.org/10.1016/j.tcs.2020.01.005" @default.
- W2998933178 hasPublicationYear "2020" @default.
- W2998933178 type Work @default.
- W2998933178 sameAs 2998933178 @default.
- W2998933178 citedByCount "0" @default.
- W2998933178 crossrefType "journal-article" @default.
- W2998933178 hasAuthorship W2998933178A5003990194 @default.
- W2998933178 hasAuthorship W2998933178A5009318195 @default.
- W2998933178 hasAuthorship W2998933178A5071051896 @default.
- W2998933178 hasAuthorship W2998933178A5077298638 @default.
- W2998933178 hasConcept C111472728 @default.
- W2998933178 hasConcept C11413529 @default.
- W2998933178 hasConcept C118615104 @default.
- W2998933178 hasConcept C138885662 @default.
- W2998933178 hasConcept C151730666 @default.
- W2998933178 hasConcept C154945302 @default.
- W2998933178 hasConcept C162838799 @default.
- W2998933178 hasConcept C189950617 @default.
- W2998933178 hasConcept C198838072 @default.
- W2998933178 hasConcept C199360897 @default.
- W2998933178 hasConcept C2777735758 @default.
- W2998933178 hasConcept C2779343474 @default.
- W2998933178 hasConcept C33923547 @default.
- W2998933178 hasConcept C41008148 @default.
- W2998933178 hasConcept C53893814 @default.
- W2998933178 hasConcept C80444323 @default.
- W2998933178 hasConcept C86803240 @default.
- W2998933178 hasConcept C98183937 @default.
- W2998933178 hasConceptScore W2998933178C111472728 @default.
- W2998933178 hasConceptScore W2998933178C11413529 @default.
- W2998933178 hasConceptScore W2998933178C118615104 @default.
- W2998933178 hasConceptScore W2998933178C138885662 @default.
- W2998933178 hasConceptScore W2998933178C151730666 @default.
- W2998933178 hasConceptScore W2998933178C154945302 @default.
- W2998933178 hasConceptScore W2998933178C162838799 @default.
- W2998933178 hasConceptScore W2998933178C189950617 @default.
- W2998933178 hasConceptScore W2998933178C198838072 @default.
- W2998933178 hasConceptScore W2998933178C199360897 @default.
- W2998933178 hasConceptScore W2998933178C2777735758 @default.
- W2998933178 hasConceptScore W2998933178C2779343474 @default.
- W2998933178 hasConceptScore W2998933178C33923547 @default.
- W2998933178 hasConceptScore W2998933178C41008148 @default.
- W2998933178 hasConceptScore W2998933178C53893814 @default.
- W2998933178 hasConceptScore W2998933178C80444323 @default.
- W2998933178 hasConceptScore W2998933178C86803240 @default.
- W2998933178 hasConceptScore W2998933178C98183937 @default.
- W2998933178 hasFunder F4320321001 @default.
- W2998933178 hasFunder F4320335777 @default.
- W2998933178 hasFunder F4320335802 @default.
- W2998933178 hasLocation W29989331781 @default.
- W2998933178 hasOpenAccess W2998933178 @default.
- W2998933178 hasPrimaryLocation W29989331781 @default.