SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Hahnle Reiner) "

Sökning: WFRF:(Hahnle Reiner)

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Bubel, Richard, et al. (författare)
  • Trace-based Deductive Verification
  • 2023
  • Ingår i: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. - : EasyChair. ; , s. 73-95
  • Konferensbidrag (refereegranskat)abstract
    • Contracts specifying a procedure’s behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution of the procedure. This necessitates to annotate code with intermediate assertions, preventing full specification abstraction. We propose a logic over symbolic traces able to specify recursive procedures in a modular manner that refers to specified programs only in terms of events. We also provide a deduction system based on symbolic execution and induction that we prove to be sound relative to a trace semantics. Our work generalizes contract-based to trace-based deductive verification by extending the notion of state-based contracts to trace-based contracts.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Gurov, Dilian, 1964- (1)
Bubel, Richard (1)
Hahnle, Reiner (1)
Scaletta, Marco (1)
Lärosäte
Kungliga Tekniska Högskolan (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2023 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy