SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Beckert H.) srt2:(2007-2009)"

Search: WFRF:(Beckert H.) > (2007-2009)

  • Result 1-3 of 3
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Ahrendt, Wolfgang, 1967, et al. (author)
  • KeY: A Formal Method for Object-Oriented Systems
  • 2007
  • In: Lecture Notes in Computer Science, Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), eds. M.Bonsangue and E. B. Johnsen. ; 4468, s. 32-43
  • Conference paper (peer-reviewed)
  •  
2.
  • Ahrendt, Wolfgang, 1967, et al. (author)
  • Verifying Object-Oriented Programs with KeY: A Tutorial
  • 2007
  • In: Formal Methods for Components and Objects, eds. de Boer, Bonsangue, Graf, de Roever. - 9783540747918 ; LNCS 4709
  • Conference paper (peer-reviewed)abstract
    • This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fill the gap between elementary introductions using toy examples and state-of-art case studies by going through a self-contained, yet non-trivial, example. It is hoped that this contributes to explain the problems encountered in verification of imperative, object-oriented programs to a readership outside the limited community of active researchers.
  •  
3.
  • Beckert, Bernhard, et al. (author)
  • The KeY system 1.0 (Deduction Component)
  • 2007
  • In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783540735946 ; 4603, s. 379-384
  • Conference paper (peer-reviewed)
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-3 of 3

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 Close

Copy and save the link in order to return to this view