SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "id:"swepub:oai:DiVA.org:kth-318003" "

Search: id:"swepub:oai:DiVA.org:kth-318003"

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Gurov, Dilian, 1964-, et al. (author)
  • Alice in Wineland : A Fairy Tale with Contracts
  • 2022
  • In: The Logic of Software. A Tasting Menu of Formal Methods. - Cham : Springer Nature. ; , s. 229-242
  • Book chapter (peer-reviewed)abstract
    • In this tale Alice ends up in Wineland, where she tries to attend the birthday party of one of its most beloved inhabitants. In order to do so, she must learn about contracts and how important they are. She gets exposed to several contract languages, with their syntax and semantics, such as pre- and post-conditions, state machines, context-free grammars, and interval logic. She learns for what type of properties they are appropriate to use, and how to formally verify that programs meet their contracts.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
book chapter (1)
Type of content
peer-reviewed (1)
Author/Editor
Gurov, Dilian, 1964- (1)
Lidström, Christian (1)
Rümmer, P. (1)
University
Royal Institute of Technology (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
2022 (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 Close

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