Matches in SemOpenAlex for { <https://semopenalex.org/work/W2287302287> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2287302287 endingPage "15" @default.
- W2287302287 startingPage "1" @default.
- W2287302287 abstract "Program verification tools use verification condition generators to produce logical formulas whose validity implies that the program is correct with respect to its specification. Different tools produce different conditions, and the underlying algorithms have not been properly exposed or explored so far. In this paper we consider a simple imperative programming language, extended with assume and assert statements, to present different ways of generating verification conditions. We study the approaches with experimental results originated by verification conditions generated from the intermediate representation of LLVM." @default.
- W2287302287 created "2016-06-24" @default.
- W2287302287 creator A5019563863 @default.
- W2287302287 creator A5023232040 @default.
- W2287302287 creator A5034738514 @default.
- W2287302287 creator A5056967331 @default.
- W2287302287 date "2015-11-25" @default.
- W2287302287 modified "2023-09-26" @default.
- W2287302287 title "Studying Verification Conditions for Imperative Programs" @default.
- W2287302287 doi "https://doi.org/10.14279/tuj.eceasst.72.1011" @default.
- W2287302287 hasPublicationYear "2015" @default.
- W2287302287 type Work @default.
- W2287302287 sameAs 2287302287 @default.
- W2287302287 citedByCount "2" @default.
- W2287302287 countsByYear W22873022872017 @default.
- W2287302287 countsByYear W22873022872018 @default.
- W2287302287 crossrefType "journal-article" @default.
- W2287302287 hasAuthorship W2287302287A5019563863 @default.
- W2287302287 hasAuthorship W2287302287A5023232040 @default.
- W2287302287 hasAuthorship W2287302287A5034738514 @default.
- W2287302287 hasAuthorship W2287302287A5056967331 @default.
- W2287302287 hasConcept C111472728 @default.
- W2287302287 hasConcept C111498074 @default.
- W2287302287 hasConcept C115903868 @default.
- W2287302287 hasConcept C138885662 @default.
- W2287302287 hasConcept C142284323 @default.
- W2287302287 hasConcept C17744445 @default.
- W2287302287 hasConcept C186846655 @default.
- W2287302287 hasConcept C199360897 @default.
- W2287302287 hasConcept C199539241 @default.
- W2287302287 hasConcept C2776359362 @default.
- W2287302287 hasConcept C2777904410 @default.
- W2287302287 hasConcept C2780586882 @default.
- W2287302287 hasConcept C33054407 @default.
- W2287302287 hasConcept C3406870 @default.
- W2287302287 hasConcept C41008148 @default.
- W2287302287 hasConcept C529173508 @default.
- W2287302287 hasConcept C62460635 @default.
- W2287302287 hasConcept C80444323 @default.
- W2287302287 hasConcept C94625758 @default.
- W2287302287 hasConceptScore W2287302287C111472728 @default.
- W2287302287 hasConceptScore W2287302287C111498074 @default.
- W2287302287 hasConceptScore W2287302287C115903868 @default.
- W2287302287 hasConceptScore W2287302287C138885662 @default.
- W2287302287 hasConceptScore W2287302287C142284323 @default.
- W2287302287 hasConceptScore W2287302287C17744445 @default.
- W2287302287 hasConceptScore W2287302287C186846655 @default.
- W2287302287 hasConceptScore W2287302287C199360897 @default.
- W2287302287 hasConceptScore W2287302287C199539241 @default.
- W2287302287 hasConceptScore W2287302287C2776359362 @default.
- W2287302287 hasConceptScore W2287302287C2777904410 @default.
- W2287302287 hasConceptScore W2287302287C2780586882 @default.
- W2287302287 hasConceptScore W2287302287C33054407 @default.
- W2287302287 hasConceptScore W2287302287C3406870 @default.
- W2287302287 hasConceptScore W2287302287C41008148 @default.
- W2287302287 hasConceptScore W2287302287C529173508 @default.
- W2287302287 hasConceptScore W2287302287C62460635 @default.
- W2287302287 hasConceptScore W2287302287C80444323 @default.
- W2287302287 hasConceptScore W2287302287C94625758 @default.
- W2287302287 hasLocation W22873022871 @default.
- W2287302287 hasOpenAccess W2287302287 @default.
- W2287302287 hasPrimaryLocation W22873022871 @default.
- W2287302287 hasRelatedWork W1483806673 @default.
- W2287302287 hasRelatedWork W1537387651 @default.
- W2287302287 hasRelatedWork W1745992770 @default.
- W2287302287 hasRelatedWork W1817961485 @default.
- W2287302287 hasRelatedWork W2112401476 @default.
- W2287302287 hasRelatedWork W2182746768 @default.
- W2287302287 hasRelatedWork W2188057831 @default.
- W2287302287 hasRelatedWork W2295526563 @default.
- W2287302287 hasRelatedWork W2298387877 @default.
- W2287302287 hasRelatedWork W2299263495 @default.
- W2287302287 hasRelatedWork W2330593560 @default.
- W2287302287 hasRelatedWork W2406499533 @default.
- W2287302287 hasRelatedWork W2621505085 @default.
- W2287302287 hasRelatedWork W2623126784 @default.
- W2287302287 hasRelatedWork W2809277795 @default.
- W2287302287 hasRelatedWork W2951761201 @default.
- W2287302287 hasRelatedWork W2973117902 @default.
- W2287302287 hasRelatedWork W3115076626 @default.
- W2287302287 hasRelatedWork W572846871 @default.
- W2287302287 hasRelatedWork W65125029 @default.
- W2287302287 hasVolume "72" @default.
- W2287302287 isParatext "false" @default.
- W2287302287 isRetracted "false" @default.
- W2287302287 magId "2287302287" @default.
- W2287302287 workType "article" @default.