Zobrazeno 1 - 10
of 121
pro vyhledávání: '"Cousot, Radhia"'
Autor:
Blanchet, Bruno, Cousot, Patrick, Cousot, Radhia, Feret, Jerôme, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier
Publikováno v:
PLDI: Conference on Programming Language Design and Implementation (2003) 196 - 207
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false alarms. This is achieved by refinement of a gener
Externí odkaz:
http://arxiv.org/abs/cs/0701193
Publikováno v:
Journal of the ACM. Dec2012, Vol. 59 Issue 6, p31-56. 56p.
Autor:
Cousot, Patrick, Cousot, Radhia
Publikováno v:
In Theoretical Computer Science 2011 412(44):6135-6192
Autor:
Cousot, Patrick, Cousot, Radhia
Publikováno v:
In Information and Computation 2009 207(2):258-283
Publikováno v:
In Theoretical Computer Science 2009 410(46):4724-4746
Autor:
Cousot, Patrick, Cousot, Radhia
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 October 2007 192(1):29-44
Autor:
Cousot, Patrick *, Cousot, Radhia
Publikováno v:
In Theoretical Computer Science 2003 290(1):531-544
Autor:
Cousot, Patrick, Cousot, Radhia
Publikováno v:
In Electronic Notes in Theoretical Computer Science November 2001 45:41-64
Autor:
Giacobazzi, Roberto, Cousot, Radhia
Publikováno v:
Roberto Giacobazzi and Radhia Cousot. ACM, pp.574, 2013, 978-1-4503-2544-8
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8af34237f5fa93978e3bffcbeff70b26
https://hal.inria.fr/hal-00930257
https://hal.inria.fr/hal-00930257