Academic Journal
Προβολή σε EDS

Deductively verifying functional scalable parallel programs with Why3

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Deductively verifying functional scalable parallel programs with Why3
Συγγραφείς: Loulergue, FrédéricAff1, IDs1027002501340y_cor1, Proust, OliviaAff1
Πηγή: Software and Systems Modeling. 25(4):1033-1057
Βάση Δεδομένων: Springer Nature Journals
FullText Links:
  – Type: other
Text:
  Availability: 0
CustomLinks:
  – Url: https://dx.doi.org/doi:10.1007/s10270-025-01340-y
    Name: EDS - Springer Nature Journals (s7799221)
    Category: fullText
    Text: View record at Springer
Header DbId: edssjs
DbLabel: Springer Nature Journals
An: edssjs.D4BFDC85
RelevancyScore: 1050
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1049.97741699219
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Deductively verifying functional scalable parallel programs with <sc>Why3</sc>
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Loulergue%2C+Frédéric%22">Loulergue, Frédéric</searchLink><relatesTo>Aff1, IDs1027002501340y_cor1</relatesTo><br /><searchLink fieldCode="AR" term="%22Proust%2C+Olivia%22">Proust, Olivia</searchLink><relatesTo>Aff1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Software and Systems Modeling</i>. 25(4):1033-1057
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjs&AN=edssjs.D4BFDC85
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10270-025-01340-y
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 25
        StartPage: 1033
    Titles:
      – TitleFull: Deductively verifying functional scalable parallel programs with <sc>Why3</sc>
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Loulergue, Frédéric
      – PersonEntity:
          Name:
            NameFull: Proust, Olivia
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 08
              Type: published
              Y: 2026
          Identifiers:
            – Type: issn-print
              Value: 16191366
            – Type: issn-print
              Value: 16191374
          Numbering:
            – Type: volume
              Value: 25
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Software and Systems Modeling
              Type: main
ResultId 1