Matches in SemOpenAlex for { <https://semopenalex.org/work/W836208367> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W836208367 endingPage "181" @default.
- W836208367 startingPage "156" @default.
- W836208367 abstract "These lecture notes present Dafny, an automated program verification system that is based on the concept of dynamic frames and is capable of producing .NET executables. These notes overview the basic design, Dafny’s history, and summarizes the environment configuration. The key language constructs, and various system limits, are illustrated through the development of a simple Dafny program. Further examples, linked to online demonstrations, illustrate Dafny’s approach to loop invariants, termination, data abstraction, and heap-related specifications." @default.
- W836208367 created "2016-06-24" @default.
- W836208367 creator A5038075498 @default.
- W836208367 creator A5077941255 @default.
- W836208367 creator A5078887217 @default.
- W836208367 date "2012-01-01" @default.
- W836208367 modified "2023-09-26" @default.
- W836208367 title "Using Dafny, an Automatic Program Verifier" @default.
- W836208367 cites W1480909796 @default.
- W836208367 cites W1545681762 @default.
- W836208367 cites W1553421328 @default.
- W836208367 cites W1606177908 @default.
- W836208367 cites W1761424764 @default.
- W836208367 cites W1998838326 @default.
- W836208367 cites W2078020391 @default.
- W836208367 cites W2119929369 @default.
- W836208367 cites W2130427425 @default.
- W836208367 cites W2333976070 @default.
- W836208367 cites W2987907651 @default.
- W836208367 doi "https://doi.org/10.1007/978-3-642-35746-6_6" @default.
- W836208367 hasPublicationYear "2012" @default.
- W836208367 type Work @default.
- W836208367 sameAs 836208367 @default.
- W836208367 citedByCount "9" @default.
- W836208367 countsByYear W8362083672012 @default.
- W836208367 countsByYear W8362083672013 @default.
- W836208367 countsByYear W8362083672014 @default.
- W836208367 countsByYear W8362083672016 @default.
- W836208367 countsByYear W8362083672018 @default.
- W836208367 countsByYear W8362083672021 @default.
- W836208367 crossrefType "book-chapter" @default.
- W836208367 hasAuthorship W836208367A5038075498 @default.
- W836208367 hasAuthorship W836208367A5077941255 @default.
- W836208367 hasAuthorship W836208367A5078887217 @default.
- W836208367 hasBestOaLocation W8362083672 @default.
- W836208367 hasConcept C111472728 @default.
- W836208367 hasConcept C111919701 @default.
- W836208367 hasConcept C115903868 @default.
- W836208367 hasConcept C124304363 @default.
- W836208367 hasConcept C134757568 @default.
- W836208367 hasConcept C138885662 @default.
- W836208367 hasConcept C160145156 @default.
- W836208367 hasConcept C199360897 @default.
- W836208367 hasConcept C26517878 @default.
- W836208367 hasConcept C2780586882 @default.
- W836208367 hasConcept C41008148 @default.
- W836208367 hasConceptScore W836208367C111472728 @default.
- W836208367 hasConceptScore W836208367C111919701 @default.
- W836208367 hasConceptScore W836208367C115903868 @default.
- W836208367 hasConceptScore W836208367C124304363 @default.
- W836208367 hasConceptScore W836208367C134757568 @default.
- W836208367 hasConceptScore W836208367C138885662 @default.
- W836208367 hasConceptScore W836208367C160145156 @default.
- W836208367 hasConceptScore W836208367C199360897 @default.
- W836208367 hasConceptScore W836208367C26517878 @default.
- W836208367 hasConceptScore W836208367C2780586882 @default.
- W836208367 hasConceptScore W836208367C41008148 @default.
- W836208367 hasLocation W8362083671 @default.
- W836208367 hasLocation W8362083672 @default.
- W836208367 hasLocation W8362083673 @default.
- W836208367 hasOpenAccess W836208367 @default.
- W836208367 hasPrimaryLocation W8362083671 @default.
- W836208367 hasRelatedWork W112032180 @default.
- W836208367 hasRelatedWork W13108495 @default.
- W836208367 hasRelatedWork W1965508898 @default.
- W836208367 hasRelatedWork W2026046761 @default.
- W836208367 hasRelatedWork W2104592615 @default.
- W836208367 hasRelatedWork W2157577995 @default.
- W836208367 hasRelatedWork W2168617729 @default.
- W836208367 hasRelatedWork W2278842976 @default.
- W836208367 hasRelatedWork W2548465910 @default.
- W836208367 hasRelatedWork W3160136729 @default.
- W836208367 isParatext "false" @default.
- W836208367 isRetracted "false" @default.
- W836208367 magId "836208367" @default.
- W836208367 workType "book-chapter" @default.