( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Power of QDDs (Extended Abstract).

, , , и . SAS, том 1302 из Lecture Notes in Computer Science, стр. 172-186. Springer, (1997)

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)Model Checking of Unrestricted Hierarchical State Machines., , и . ICALP, том 2076 из Lecture Notes in Computer Science, стр. 652-666. Springer, (2001)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)Checking Beliefs in Dynamic Networks., , , , и . NSDI, стр. 499-512. USENIX Association, (2015)Software Model Checking: Searching for Computations in the Abstract or the Concrete., и . IFM, том 3771 из Lecture Notes in Computer Science, стр. 20-32. Springer, (2005)Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft., , и . ISSTA, стр. 124-133. ACM, (1998)Learn&Fuzz: machine learning for input fuzzing., , и . ASE, стр. 50-59. IEEE Computer Society, (2017)Generalized Model Checking: Reasoning about Partial State Spaces., и . CONCUR, том 1877 из Lecture Notes in Computer Science, стр. 168-182. Springer, (2000)