A Path Traversal Conditions solver

Christophe Meudec (Photographer)

Research output: Non-textual formSoftware


A Path Traversal Conditions solver to analyse imperative programs. It can solve constraints expressed using traditional programming language constructs. It is useful for symbolic execution, static analysis of code etc.
Original languageEnglish (Ireland)
Media of outputOnline
Publication statusPublished - Mar 2001


  • Symbolic execution
  • Constraint logic programming
  • Prolog


Dive into the research topics of 'A Path Traversal Conditions solver'. Together they form a unique fingerprint.

Cite this