Matches in SemOpenAlex for { <https://semopenalex.org/work/W1606142489> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1606142489 endingPage "311" @default.
- W1606142489 startingPage "304" @default.
- W1606142489 abstract "This paper describes the main features of VeriFast, a sound and modular program verifier for C and Java. VeriFast takes as input a number of source files annotated with method contracts written in separation logic, inductive data type and fixpoint definitions, lemma functions and proof steps. The verifier checks that (1) the program does not perform illegal operations such as dividing by zero or illegal memory accesses and (2) that the assumptions described in method contracts hold in each execution.Although VeriFast supports specifying and verifying deep data structure properties, it provides an interactive verification experience as verification times are consistently low and errors can be diagnosed using its symbolic debugger. VeriFast and a large number of example programs are available online at: http://www.cs.kuleuven.be/~bartj/verifast" @default.
- W1606142489 created "2016-06-24" @default.
- W1606142489 creator A5008329832 @default.
- W1606142489 creator A5012443037 @default.
- W1606142489 creator A5022437048 @default.
- W1606142489 date "2010-01-01" @default.
- W1606142489 modified "2023-10-18" @default.
- W1606142489 title "A Quick Tour of the VeriFast Program Verifier" @default.
- W1606142489 cites W1480909796 @default.
- W1606142489 cites W1495368328 @default.
- W1606142489 cites W2053154567 @default.
- W1606142489 cites W2130162474 @default.
- W1606142489 cites W2137628566 @default.
- W1606142489 cites W2987907651 @default.
- W1606142489 cites W3015951847 @default.
- W1606142489 cites W4245524452 @default.
- W1606142489 doi "https://doi.org/10.1007/978-3-642-17164-2_21" @default.
- W1606142489 hasPublicationYear "2010" @default.
- W1606142489 type Work @default.
- W1606142489 sameAs 1606142489 @default.
- W1606142489 citedByCount "85" @default.
- W1606142489 countsByYear W16061424892012 @default.
- W1606142489 countsByYear W16061424892013 @default.
- W1606142489 countsByYear W16061424892014 @default.
- W1606142489 countsByYear W16061424892015 @default.
- W1606142489 countsByYear W16061424892016 @default.
- W1606142489 countsByYear W16061424892017 @default.
- W1606142489 countsByYear W16061424892018 @default.
- W1606142489 countsByYear W16061424892019 @default.
- W1606142489 countsByYear W16061424892020 @default.
- W1606142489 countsByYear W16061424892021 @default.
- W1606142489 countsByYear W16061424892022 @default.
- W1606142489 countsByYear W16061424892023 @default.
- W1606142489 crossrefType "book-chapter" @default.
- W1606142489 hasAuthorship W1606142489A5008329832 @default.
- W1606142489 hasAuthorship W1606142489A5012443037 @default.
- W1606142489 hasAuthorship W1606142489A5022437048 @default.
- W1606142489 hasBestOaLocation W16061424892 @default.
- W1606142489 hasConcept C101468663 @default.
- W1606142489 hasConcept C168065819 @default.
- W1606142489 hasConcept C173856430 @default.
- W1606142489 hasConcept C199360897 @default.
- W1606142489 hasConcept C2777904410 @default.
- W1606142489 hasConcept C2778485113 @default.
- W1606142489 hasConcept C2779639559 @default.
- W1606142489 hasConcept C41008148 @default.
- W1606142489 hasConcept C548217200 @default.
- W1606142489 hasConcept C80444323 @default.
- W1606142489 hasConceptScore W1606142489C101468663 @default.
- W1606142489 hasConceptScore W1606142489C168065819 @default.
- W1606142489 hasConceptScore W1606142489C173856430 @default.
- W1606142489 hasConceptScore W1606142489C199360897 @default.
- W1606142489 hasConceptScore W1606142489C2777904410 @default.
- W1606142489 hasConceptScore W1606142489C2778485113 @default.
- W1606142489 hasConceptScore W1606142489C2779639559 @default.
- W1606142489 hasConceptScore W1606142489C41008148 @default.
- W1606142489 hasConceptScore W1606142489C548217200 @default.
- W1606142489 hasConceptScore W1606142489C80444323 @default.
- W1606142489 hasLocation W16061424891 @default.
- W1606142489 hasLocation W16061424892 @default.
- W1606142489 hasLocation W16061424893 @default.
- W1606142489 hasOpenAccess W1606142489 @default.
- W1606142489 hasPrimaryLocation W16061424891 @default.
- W1606142489 hasRelatedWork W1587224678 @default.
- W1606142489 hasRelatedWork W1601811574 @default.
- W1606142489 hasRelatedWork W2004605222 @default.
- W1606142489 hasRelatedWork W2026046761 @default.
- W1606142489 hasRelatedWork W2097113253 @default.
- W1606142489 hasRelatedWork W2146544336 @default.
- W1606142489 hasRelatedWork W4237428255 @default.
- W1606142489 hasRelatedWork W4245713008 @default.
- W1606142489 hasRelatedWork W1032484613 @default.
- W1606142489 hasRelatedWork W2528467228 @default.
- W1606142489 isParatext "false" @default.
- W1606142489 isRetracted "false" @default.
- W1606142489 magId "1606142489" @default.
- W1606142489 workType "book-chapter" @default.