On abstraction in software verification

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We show that the precision of static abstract software checking algorithms can be enhanced by taking explicitly into account the abstractions that are involved in the design of the program model/abstract semantics. This is illustrated on reachability analysis and abstract testing.

Original languageEnglish (US)
Title of host publicationComputer Aided Verification - 14th International Conference, CAV 2002, Proceedings
EditorsEd Brinksma, Kim Guldstrand Larsen
PublisherSpringer Verlag
Number of pages20
ISBN (Electronic)9783540439974
StatePublished - 2002
Event14th International Conference on Computer Aided Verification, CAV 2002 - Copenhagen, Denmark
Duration: Jul 27 2002Jul 31 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other14th International Conference on Computer Aided Verification, CAV 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'On abstraction in software verification'. Together they form a unique fingerprint.

Cite this