Zobrazeno 1 - 5
of 5
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