( en | de | ru )

 

Disambiguierung von "Godefroid, Patrice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Protocol Verification with Queue BDDs.

, und . Formal Methods Syst. Des., 14 (3): 257-271 (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Susanne Godefroid

Susanne Godefroid

Susanne Godefroid

Peter Godefroid

Christoph Godefroid

 

Weitere Publikationen von Autoren mit dem selben Namen

Active property checking., , und . EMSOFT, Seite 207-216. ACM, (2008)Model Checking of Unrestricted Hierarchical State Machines., , und . ICALP, Volume 2076 von Lecture Notes in Computer Science, Seite 652-666. Springer, (2001)Model Checking Partial State Spaces with 3-Valued Temporal Logics., und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 274-287. Springer, (1999)Software Model Checking: The VeriSoft Approach.. Formal Methods Syst. Des., 26 (2): 77-101 (2005)Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor., , und . Bell Labs Tech. J., 3 (2): 32-46 (1998)Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties., und . Formal Methods Syst. Des., 2 (2): 149-164 (1993)Using Partial Orders to Improve Automatic Verification Methods.. CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 321-340. DIMACS/AMS, (1990)Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft., , und . ISSTA, Seite 124-133. ACM, (1998)Checking Beliefs in Dynamic Networks., , , , und . NSDI, Seite 499-512. USENIX Association, (2015)Software Model Checking: Searching for Computations in the Abstract or the Concrete., und . IFM, Volume 3771 von Lecture Notes in Computer Science, Seite 20-32. Springer, (2005)