title = { A Framework for Contract-Based Reasoning: Motivation and Application },
    author = {Quinton, Sophie and Graf, Susanne},
    year = {2008},
    booktitle = {Second Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS, Malta, november 2008},
    team = {DCS},
    abstract = {In addition to the paper in SEFM'2008, we show here several examples of compositional reasoning frameworks presented in the literature, that they can be considered as particular instances of our framework. We consider a contract-based reasoning framework for I/O automata and for modal I/O automata introduced recently by Kim Larsen et al.},


Publication Sections

Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 775262