Matches in SemOpenAlex for { <https://semopenalex.org/work/W3095521253> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3095521253 endingPage "292" @default.
- W3095521253 startingPage "273" @default.
- W3095521253 abstract "Although software verification is evolving fast in both theoretical and practical aspects, it still remains absent from the actual industrial production cycle. Case studies can help to encourage these integrations. We report on our experiences applying software verification in several projects with industry. In particular, we report on two projects on the verification of tunnel control software at Technolution, where we go from a high-level design to concrete code. These case studies show the power of combining model checking (using mCRL2) and deductive verification (using VerCors) as complementary approaches. We also report on a project with Thales, where we looked at antenna bearing control software, and specified this based on their requirements documents. For all cases, we report on lessons learned and on directions for future work to improve both our tool and the industrial methodology for ensuring software correctness. Notably, our second case study involves the modelling and verification of critical software by a team of engineers from Technolution. This case study is an ongoing project; we describe our experience on the team’s learning curve for this experiment and present the preliminary conclusions on the case study." @default.
- W3095521253 created "2020-11-09" @default.
- W3095521253 creator A5027069142 @default.
- W3095521253 creator A5045181048 @default.
- W3095521253 date "2020-01-01" @default.
- W3095521253 modified "2023-10-05" @default.
- W3095521253 title "On the Industrial Application of Critical Software Verification with VerCors" @default.
- W3095521253 cites W1480909796 @default.
- W3095521253 cites W1507758008 @default.
- W3095521253 cites W1533082687 @default.
- W3095521253 cites W1583826417 @default.
- W3095521253 cites W1593284044 @default.
- W3095521253 cites W1600581889 @default.
- W3095521253 cites W1824011918 @default.
- W3095521253 cites W1984936841 @default.
- W3095521253 cites W2055270481 @default.
- W3095521253 cites W2061341742 @default.
- W3095521253 cites W2746792245 @default.
- W3095521253 cites W2870653993 @default.
- W3095521253 cites W2898791916 @default.
- W3095521253 cites W2898989734 @default.
- W3095521253 cites W2931334490 @default.
- W3095521253 cites W2991171679 @default.
- W3095521253 cites W2999161693 @default.
- W3095521253 cites W3121786935 @default.
- W3095521253 cites W4230290951 @default.
- W3095521253 cites W4237979974 @default.
- W3095521253 doi "https://doi.org/10.1007/978-3-030-61467-6_18" @default.
- W3095521253 hasPublicationYear "2020" @default.
- W3095521253 type Work @default.
- W3095521253 sameAs 3095521253 @default.
- W3095521253 citedByCount "6" @default.
- W3095521253 countsByYear W30955212532020 @default.
- W3095521253 countsByYear W30955212532021 @default.
- W3095521253 countsByYear W30955212532022 @default.
- W3095521253 countsByYear W30955212532023 @default.
- W3095521253 crossrefType "book-chapter" @default.
- W3095521253 hasAuthorship W3095521253A5027069142 @default.
- W3095521253 hasAuthorship W3095521253A5045181048 @default.
- W3095521253 hasBestOaLocation W30955212532 @default.
- W3095521253 hasConcept C115903868 @default.
- W3095521253 hasConcept C127413603 @default.
- W3095521253 hasConcept C186846655 @default.
- W3095521253 hasConcept C199360897 @default.
- W3095521253 hasConcept C201995342 @default.
- W3095521253 hasConcept C21547014 @default.
- W3095521253 hasConcept C2777904410 @default.
- W3095521253 hasConcept C33054407 @default.
- W3095521253 hasConcept C41008148 @default.
- W3095521253 hasConcept C48002344 @default.
- W3095521253 hasConcept C529173508 @default.
- W3095521253 hasConcept C55439883 @default.
- W3095521253 hasConceptScore W3095521253C115903868 @default.
- W3095521253 hasConceptScore W3095521253C127413603 @default.
- W3095521253 hasConceptScore W3095521253C186846655 @default.
- W3095521253 hasConceptScore W3095521253C199360897 @default.
- W3095521253 hasConceptScore W3095521253C201995342 @default.
- W3095521253 hasConceptScore W3095521253C21547014 @default.
- W3095521253 hasConceptScore W3095521253C2777904410 @default.
- W3095521253 hasConceptScore W3095521253C33054407 @default.
- W3095521253 hasConceptScore W3095521253C41008148 @default.
- W3095521253 hasConceptScore W3095521253C48002344 @default.
- W3095521253 hasConceptScore W3095521253C529173508 @default.
- W3095521253 hasConceptScore W3095521253C55439883 @default.
- W3095521253 hasLocation W30955212531 @default.
- W3095521253 hasLocation W30955212532 @default.
- W3095521253 hasOpenAccess W3095521253 @default.
- W3095521253 hasPrimaryLocation W30955212531 @default.
- W3095521253 hasRelatedWork W1528679027 @default.
- W3095521253 hasRelatedWork W1932020719 @default.
- W3095521253 hasRelatedWork W2015433440 @default.
- W3095521253 hasRelatedWork W2134263268 @default.
- W3095521253 hasRelatedWork W2392362176 @default.
- W3095521253 hasRelatedWork W2769494974 @default.
- W3095521253 hasRelatedWork W2942883451 @default.
- W3095521253 hasRelatedWork W3027371154 @default.
- W3095521253 hasRelatedWork W827030833 @default.
- W3095521253 hasRelatedWork W2249218127 @default.
- W3095521253 isParatext "false" @default.
- W3095521253 isRetracted "false" @default.
- W3095521253 magId "3095521253" @default.
- W3095521253 workType "book-chapter" @default.