( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tests from Proofs.

. TAP, том 6706 из Lecture Notes in Computer Science, стр. 14. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Susanne Godefroid

Susanne Godefroid

Susanne Godefroid

Peter Godefroid

Christoph Godefroid

 

Другие публикации лиц с тем же именем

Active property checking., , и . EMSOFT, стр. 207-216. ACM, (2008)Model Checking Partial State Spaces with 3-Valued Temporal Logics., и . CAV, том 1633 из Lecture Notes in Computer Science, стр. 274-287. Springer, (1999)Software Model Checking: The VeriSoft Approach.. Formal Methods Syst. Des., 26 (2): 77-101 (2005)Using Partial Orders to Improve Automatic Verification Methods.. CAV (DIMACS/AMS volume), том 3 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 321-340. DIMACS/AMS, (1990)Software Model Checking: Searching for Computations in the Abstract or the Concrete., и . IFM, том 3771 из Lecture Notes in Computer Science, стр. 20-32. Springer, (2005)Checking Beliefs in Dynamic Networks., , , , и . NSDI, стр. 499-512. USENIX Association, (2015)Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft., , и . ISSTA, стр. 124-133. ACM, (1998)Model Checking of Unrestricted Hierarchical State Machines., , и . ICALP, том 2076 из Lecture Notes in Computer Science, стр. 652-666. Springer, (2001)Learn&Fuzz: machine learning for input fuzzing., , и . ASE, стр. 50-59. IEEE Computer Society, (2017)Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN., и . FME, том 1051 из Lecture Notes in Computer Science, стр. 465-478. Springer, (1996)