Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000615309> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2000615309 abstract "Program verification based on invariant generation is a central issue in recent years. Invariants are key to deductive verification of imperative programs. In this paper, depending on linear invariants and polynomial loop invariants, we present a practical program verification framework. The safety property and the termination property can be verified automatically. The experimental results demonstrate the power of our approach." @default.
- W2000615309 created "2016-06-24" @default.
- W2000615309 creator A5011083267 @default.
- W2000615309 creator A5036786337 @default.
- W2000615309 creator A5086179757 @default.
- W2000615309 date "2010-07-01" @default.
- W2000615309 modified "2023-09-24" @default.
- W2000615309 title "Automated Program Verification Using Generation of Invariants" @default.
- W2000615309 cites W1515278398 @default.
- W2000615309 cites W1521505629 @default.
- W2000615309 cites W1528693048 @default.
- W2000615309 cites W1563374593 @default.
- W2000615309 cites W1577276830 @default.
- W2000615309 cites W1585981132 @default.
- W2000615309 cites W1597204268 @default.
- W2000615309 cites W1804812175 @default.
- W2000615309 cites W1971043610 @default.
- W2000615309 cites W2009069311 @default.
- W2000615309 cites W2069300761 @default.
- W2000615309 cites W2098045685 @default.
- W2000615309 cites W2099629271 @default.
- W2000615309 cites W2109863363 @default.
- W2000615309 cites W2132661148 @default.
- W2000615309 cites W2133093325 @default.
- W2000615309 cites W2135633055 @default.
- W2000615309 cites W3158747708 @default.
- W2000615309 cites W60370665 @default.
- W2000615309 cites W2468864797 @default.
- W2000615309 doi "https://doi.org/10.1109/qsic.2010.38" @default.
- W2000615309 hasPublicationYear "2010" @default.
- W2000615309 type Work @default.
- W2000615309 sameAs 2000615309 @default.
- W2000615309 citedByCount "0" @default.
- W2000615309 crossrefType "proceedings-article" @default.
- W2000615309 hasAuthorship W2000615309A5011083267 @default.
- W2000615309 hasAuthorship W2000615309A5036786337 @default.
- W2000615309 hasAuthorship W2000615309A5086179757 @default.
- W2000615309 hasConcept C111472728 @default.
- W2000615309 hasConcept C111498074 @default.
- W2000615309 hasConcept C111919701 @default.
- W2000615309 hasConcept C11413529 @default.
- W2000615309 hasConcept C138885662 @default.
- W2000615309 hasConcept C186846655 @default.
- W2000615309 hasConcept C189950617 @default.
- W2000615309 hasConcept C190470478 @default.
- W2000615309 hasConcept C199360897 @default.
- W2000615309 hasConcept C26517878 @default.
- W2000615309 hasConcept C2777904410 @default.
- W2000615309 hasConcept C33054407 @default.
- W2000615309 hasConcept C33923547 @default.
- W2000615309 hasConcept C37914503 @default.
- W2000615309 hasConcept C41008148 @default.
- W2000615309 hasConcept C529173508 @default.
- W2000615309 hasConcept C62460635 @default.
- W2000615309 hasConcept C80444323 @default.
- W2000615309 hasConceptScore W2000615309C111472728 @default.
- W2000615309 hasConceptScore W2000615309C111498074 @default.
- W2000615309 hasConceptScore W2000615309C111919701 @default.
- W2000615309 hasConceptScore W2000615309C11413529 @default.
- W2000615309 hasConceptScore W2000615309C138885662 @default.
- W2000615309 hasConceptScore W2000615309C186846655 @default.
- W2000615309 hasConceptScore W2000615309C189950617 @default.
- W2000615309 hasConceptScore W2000615309C190470478 @default.
- W2000615309 hasConceptScore W2000615309C199360897 @default.
- W2000615309 hasConceptScore W2000615309C26517878 @default.
- W2000615309 hasConceptScore W2000615309C2777904410 @default.
- W2000615309 hasConceptScore W2000615309C33054407 @default.
- W2000615309 hasConceptScore W2000615309C33923547 @default.
- W2000615309 hasConceptScore W2000615309C37914503 @default.
- W2000615309 hasConceptScore W2000615309C41008148 @default.
- W2000615309 hasConceptScore W2000615309C529173508 @default.
- W2000615309 hasConceptScore W2000615309C62460635 @default.
- W2000615309 hasConceptScore W2000615309C80444323 @default.
- W2000615309 hasLocation W20006153091 @default.
- W2000615309 hasOpenAccess W2000615309 @default.
- W2000615309 hasPrimaryLocation W20006153091 @default.
- W2000615309 hasRelatedWork W1494646807 @default.
- W2000615309 hasRelatedWork W1542369348 @default.
- W2000615309 hasRelatedWork W1574295141 @default.
- W2000615309 hasRelatedWork W1579638562 @default.
- W2000615309 hasRelatedWork W1986036955 @default.
- W2000615309 hasRelatedWork W2020745547 @default.
- W2000615309 hasRelatedWork W2022003997 @default.
- W2000615309 hasRelatedWork W2027857258 @default.
- W2000615309 hasRelatedWork W2037370310 @default.
- W2000615309 hasRelatedWork W2051277220 @default.
- W2000615309 hasRelatedWork W2060393677 @default.
- W2000615309 hasRelatedWork W2067871120 @default.
- W2000615309 hasRelatedWork W2108568781 @default.
- W2000615309 hasRelatedWork W2118362509 @default.
- W2000615309 hasRelatedWork W2123566718 @default.
- W2000615309 hasRelatedWork W2158493209 @default.
- W2000615309 hasRelatedWork W2398880063 @default.
- W2000615309 hasRelatedWork W2727949220 @default.
- W2000615309 hasRelatedWork W2800657975 @default.
- W2000615309 hasRelatedWork W2558061259 @default.
- W2000615309 isParatext "false" @default.
- W2000615309 isRetracted "false" @default.
- W2000615309 magId "2000615309" @default.
- W2000615309 workType "article" @default.