Skip to contents

  1. Brim, Luboš [Editor]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

    Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4346

  6. Oortwijn, Wytse [Author] ; Huisman, Marieke [Other]; Joosten, Sebastiaan [Other]; Pol, Jaco van de [Other]

    Automated Verification of Parallel Nested DFS

    Videos
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)

  8. Brim, Luboš [Other]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other]

    Formal Methods Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4346

  12. van de Pol, Jaco

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Exploring a Parallel SCC Algorithm : Using $$\text {TLA}^{+}$$and the TLC Model Checker : Using $$\text {TLA}^{+}$$and the TLC Model Checker

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2022

    Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022), Seite 535-555

  13. van de Pol, Jaco

    Introductory paper

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Science and Business Media LLC, 2004

    Published in: International Journal on Software Tools for Technology Transfer, 5 (2004) 2-3, Seite 105-106

  14. van de Pol, Jaco

    Just-in-time

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Elsevier BV, 2001

    Published in: Electronic Notes in Theoretical Computer Science, 57 (2001), Seite 41-63