Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102847589> ?p ?o ?g. }
- W2102847589 abstract "Safety-critical software systems can only support a limited number of failures. Extensive testing is good at catching errors, however that will never certify their absence. Formal verification is an alternative to testing that can (automatically) provide a mathematical proof of correctness of programs. In this thesis, we present a verification procedure for imperative programs. Our procedure reduces imperative programming to functional programming and uses a semi-decision procedure that can reason modulo recursive functions. As a complementary method, we propose an algorithm to generate test cases that attain a high coverage of the program statements or can force the execution of some very refined control paths. We have implemented these algorithms and have integrated them in the Leon verification system. Leon can be used to verify programs written in a proper subset of Scala." @default.
- W2102847589 created "2016-06-24" @default.
- W2102847589 creator A5007011229 @default.
- W2102847589 date "2012-01-01" @default.
- W2102847589 modified "2023-09-27" @default.
- W2102847589 title "Verification of Imperative Programs in Scala" @default.
- W2102847589 cites W100631053 @default.
- W2102847589 cites W1480909796 @default.
- W2102847589 cites W1481397690 @default.
- W2102847589 cites W148145328 @default.
- W2102847589 cites W1515175581 @default.
- W2102847589 cites W1521232193 @default.
- W2102847589 cites W1525527210 @default.
- W2102847589 cites W1549774509 @default.
- W2102847589 cites W1558797637 @default.
- W2102847589 cites W1560971300 @default.
- W2102847589 cites W1562651002 @default.
- W2102847589 cites W1572073643 @default.
- W2102847589 cites W1573154295 @default.
- W2102847589 cites W1583826417 @default.
- W2102847589 cites W1597009588 @default.
- W2102847589 cites W1597068544 @default.
- W2102847589 cites W1605034451 @default.
- W2102847589 cites W1606177908 @default.
- W2102847589 cites W162557570 @default.
- W2102847589 cites W1664980806 @default.
- W2102847589 cites W1761424764 @default.
- W2102847589 cites W1810306334 @default.
- W2102847589 cites W1848153821 @default.
- W2102847589 cites W1959256509 @default.
- W2102847589 cites W1967751668 @default.
- W2102847589 cites W1992431017 @default.
- W2102847589 cites W1995384620 @default.
- W2102847589 cites W1995912006 @default.
- W2102847589 cites W2030865387 @default.
- W2102847589 cites W2037237472 @default.
- W2102847589 cites W2043100293 @default.
- W2102847589 cites W2051632385 @default.
- W2102847589 cites W205696660 @default.
- W2102847589 cites W2099921991 @default.
- W2102847589 cites W2103953153 @default.
- W2102847589 cites W2105315191 @default.
- W2102847589 cites W2106192381 @default.
- W2102847589 cites W2113547509 @default.
- W2102847589 cites W2113709047 @default.
- W2102847589 cites W2115261880 @default.
- W2102847589 cites W2129538349 @default.
- W2102847589 cites W2130413583 @default.
- W2102847589 cites W2130427425 @default.
- W2102847589 cites W2134311998 @default.
- W2102847589 cites W2147650421 @default.
- W2102847589 cites W2149127686 @default.
- W2102847589 cites W2153185479 @default.
- W2102847589 cites W2158641382 @default.
- W2102847589 cites W2159891390 @default.
- W2102847589 cites W2164810907 @default.
- W2102847589 cites W2167029843 @default.
- W2102847589 cites W2198668404 @default.
- W2102847589 cites W2480791090 @default.
- W2102847589 cites W2563530161 @default.
- W2102847589 cites W27734296 @default.
- W2102847589 cites W3146075203 @default.
- W2102847589 cites W3202045943 @default.
- W2102847589 hasPublicationYear "2012" @default.
- W2102847589 type Work @default.
- W2102847589 sameAs 2102847589 @default.
- W2102847589 citedByCount "3" @default.
- W2102847589 countsByYear W21028475892012 @default.
- W2102847589 countsByYear W21028475892013 @default.
- W2102847589 countsByYear W21028475892015 @default.
- W2102847589 crossrefType "journal-article" @default.
- W2102847589 hasAuthorship W2102847589A5007011229 @default.
- W2102847589 hasConcept C109701466 @default.
- W2102847589 hasConcept C111498074 @default.
- W2102847589 hasConcept C114614502 @default.
- W2102847589 hasConcept C115903868 @default.
- W2102847589 hasConcept C149091818 @default.
- W2102847589 hasConcept C186846655 @default.
- W2102847589 hasConcept C199360897 @default.
- W2102847589 hasConcept C202973057 @default.
- W2102847589 hasConcept C2777904410 @default.
- W2102847589 hasConcept C33054407 @default.
- W2102847589 hasConcept C33923547 @default.
- W2102847589 hasConcept C41008148 @default.
- W2102847589 hasConcept C54732982 @default.
- W2102847589 hasConcept C548217200 @default.
- W2102847589 hasConcept C55439883 @default.
- W2102847589 hasConcept C62460635 @default.
- W2102847589 hasConcept C80444323 @default.
- W2102847589 hasConcept C98183937 @default.
- W2102847589 hasConceptScore W2102847589C109701466 @default.
- W2102847589 hasConceptScore W2102847589C111498074 @default.
- W2102847589 hasConceptScore W2102847589C114614502 @default.
- W2102847589 hasConceptScore W2102847589C115903868 @default.
- W2102847589 hasConceptScore W2102847589C149091818 @default.
- W2102847589 hasConceptScore W2102847589C186846655 @default.
- W2102847589 hasConceptScore W2102847589C199360897 @default.
- W2102847589 hasConceptScore W2102847589C202973057 @default.
- W2102847589 hasConceptScore W2102847589C2777904410 @default.
- W2102847589 hasConceptScore W2102847589C33054407 @default.