Verification of clock synchronisation algorithms: Experiments on a combination of deductive tools

Damian Barsotti, Leonor Prensa-Nieto, Alwen Tiu

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationProceedings of the 5th International Workshop on Automated Verficiation of Critical Systems (AVoCS 2005)
    EditorsR Lazic and R Nagarajan
    Place of PublicationNetherlands
    PublisherElsevier
    Pages63-78
    ISBN (Print)1571-0661
    Publication statusPublished - 2005
    EventInternational Workshop on Automated Verfication of Critical Systems (AVoCS 2005) - Warwick UK
    Duration: 1 Jan 2005 → …

    Conference

    ConferenceInternational Workshop on Automated Verfication of Critical Systems (AVoCS 2005)
    Period1/01/05 → …
    OtherSeptember 12-13 2005

    Cite this