ProCoS - Provably Correct Systems

  • Bjørner, Dines (Project Manager)

    Project Details

    Description

    Research into and Development of Formal Specification and Design Calculi Techniques and Tools for the Development of Real-time, Embedded Safety Critical Systems
    StatusFinished
    Effective start/end date01/09/198928/02/1992