1,906
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      UK Computing Summit 2025: Navigating change (surviving and beyond) - 29-30 April @ Sheffield Hallam University - Register here.

      scite_
      0
      0
      0
      0
      Smart Citations
      0
      0
      0
      0
      Citing PublicationsSupportingMentioningContrasting
      View Citations

      See how this article has been cited at scite.ai

      scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Verifying Invariant Based Programs in the SOCOS Environment

      Published
      proceedings-article
      , ,
      Teaching Formal Methods: Practice and Experience (TFM)
      Teaching Formal Methods: Practice and Experience
      15 December 2006
      Invariant based programming, verification, SOCOS
      Bookmark

            Abstract

            Content

            Author and article information

            Contributors
            Conference
            December 2006
            December 2006
            : 1-6
            Affiliations
            [0001]Turku Centre for Computer Science

            Åbo Akademi University, Department of Information Technologies

            Joukahaisenkatu 3-5 A, FIN-20520, Turku, Finland
            Article
            10.14236/ewic/TFM2006.5
            2dcfa90f-144d-4fc6-baed-cab7dbc8688b
            © Ralph-Johan Back et al. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Teaching Formal Methods: Practice and Experience
            TFM
            BCS London Office, UK
            15 December 2006
            Electronic Workshops in Computing (eWiC)
            Teaching Formal Methods: Practice and Experience
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.5
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            verification,Invariant based programming,SOCOS

            Comments

            Comment on this article