Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Théoduloz, Grégory"'
Autor:
Théoduloz, Grégory
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers, on one hand, are still mostly concerned with precision, e.g., the removal of spurious counter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bada24aa39878083e1b1e1a8c0fea657
Publikováno v:
Fundamental Approaches to Software Engineering (9783642120282); 2010, p263-277, 15p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Damm, Werner, Hermanns, Holger, Beyer, Dirk, Henzinger, Thomas A., Théoduloz, Grégory
Publikováno v:
Computer Aided Verification (9783540733676); 2007, p504-518, 15p
Publikováno v:
Computer Aided Verification (9783540374060); 2006, p532-546, 15p
Many software model checkers are based on predicate abstraction. Values of variables in branching conditions are represented abstractly using predicates. The strength of this approach is its path-sensitive nature. However, if the control flow depends
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::bcbf23c975bb03c881f02e1191735dad
https://infoscience.epfl.ch/record/82277
https://infoscience.epfl.ch/record/82277
Autor:
Oege de Moor, Michael I. Schwartzbach
This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Following
Autor:
Werner Damm, Holger Hermanns
This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3–7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and pract
Autor:
Thomas Ball, Robert B. Jones
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers