Matches in SemOpenAlex for { <https://semopenalex.org/work/W4281551143> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4281551143 abstract "AlphaCode (AC) can generate C++ programs automatically. However, the properties of the programs need to be verified. It is an open challenge to complete the task automatically using the model checking technique. To deal with this issue, a novel approach is proposed in this study. First, a program generated by AlphaCode is modeled using a formal mechanism, such as automata or graphs. Second, a property that needs to be satisfied in states and paths of the program can be described by a logic formula, especially for a temporal logic one. On the basis of it, the model checking problem for AC-generated programs is transformed to a common model checking one. A case study on using of bounded model checker for AC-generated programs demonstrates the feasibility of the proposed method." @default.
- W4281551143 created "2022-05-27" @default.
- W4281551143 creator A5010498859 @default.
- W4281551143 date "2022-04-15" @default.
- W4281551143 modified "2023-09-26" @default.
- W4281551143 title "Model Checking for AlphaCode-Generated Programs" @default.
- W4281551143 doi "https://doi.org/10.1109/icsp54964.2022.9778472" @default.
- W4281551143 hasPublicationYear "2022" @default.
- W4281551143 type Work @default.
- W4281551143 citedByCount "1" @default.
- W4281551143 countsByYear W42815511432023 @default.
- W4281551143 crossrefType "proceedings-article" @default.
- W4281551143 hasAuthorship W4281551143A5010498859 @default.
- W4281551143 hasConcept C110251889 @default.
- W4281551143 hasConcept C111472728 @default.
- W4281551143 hasConcept C111498074 @default.
- W4281551143 hasConcept C112505250 @default.
- W4281551143 hasConcept C11413529 @default.
- W4281551143 hasConcept C128838566 @default.
- W4281551143 hasConcept C134306372 @default.
- W4281551143 hasConcept C138885662 @default.
- W4281551143 hasConcept C162324750 @default.
- W4281551143 hasConcept C187736073 @default.
- W4281551143 hasConcept C189950617 @default.
- W4281551143 hasConcept C199360897 @default.
- W4281551143 hasConcept C25016198 @default.
- W4281551143 hasConcept C2780451532 @default.
- W4281551143 hasConcept C2987117450 @default.
- W4281551143 hasConcept C30888246 @default.
- W4281551143 hasConcept C33923547 @default.
- W4281551143 hasConcept C34388435 @default.
- W4281551143 hasConcept C41008148 @default.
- W4281551143 hasConcept C4777664 @default.
- W4281551143 hasConcept C80444323 @default.
- W4281551143 hasConceptScore W4281551143C110251889 @default.
- W4281551143 hasConceptScore W4281551143C111472728 @default.
- W4281551143 hasConceptScore W4281551143C111498074 @default.
- W4281551143 hasConceptScore W4281551143C112505250 @default.
- W4281551143 hasConceptScore W4281551143C11413529 @default.
- W4281551143 hasConceptScore W4281551143C128838566 @default.
- W4281551143 hasConceptScore W4281551143C134306372 @default.
- W4281551143 hasConceptScore W4281551143C138885662 @default.
- W4281551143 hasConceptScore W4281551143C162324750 @default.
- W4281551143 hasConceptScore W4281551143C187736073 @default.
- W4281551143 hasConceptScore W4281551143C189950617 @default.
- W4281551143 hasConceptScore W4281551143C199360897 @default.
- W4281551143 hasConceptScore W4281551143C25016198 @default.
- W4281551143 hasConceptScore W4281551143C2780451532 @default.
- W4281551143 hasConceptScore W4281551143C2987117450 @default.
- W4281551143 hasConceptScore W4281551143C30888246 @default.
- W4281551143 hasConceptScore W4281551143C33923547 @default.
- W4281551143 hasConceptScore W4281551143C34388435 @default.
- W4281551143 hasConceptScore W4281551143C41008148 @default.
- W4281551143 hasConceptScore W4281551143C4777664 @default.
- W4281551143 hasConceptScore W4281551143C80444323 @default.
- W4281551143 hasLocation W42815511431 @default.
- W4281551143 hasOpenAccess W4281551143 @default.
- W4281551143 hasPrimaryLocation W42815511431 @default.
- W4281551143 hasRelatedWork W1527462432 @default.
- W4281551143 hasRelatedWork W1630138018 @default.
- W4281551143 hasRelatedWork W1952054528 @default.
- W4281551143 hasRelatedWork W1988050447 @default.
- W4281551143 hasRelatedWork W1997518979 @default.
- W4281551143 hasRelatedWork W2090677007 @default.
- W4281551143 hasRelatedWork W2274258207 @default.
- W4281551143 hasRelatedWork W4281551143 @default.
- W4281551143 hasRelatedWork W4286892938 @default.
- W4281551143 hasRelatedWork W4313193894 @default.
- W4281551143 isParatext "false" @default.
- W4281551143 isRetracted "false" @default.
- W4281551143 workType "article" @default.