chapter AFP

session AODV (slow) = AWN +
  description "Mechanized invariant proof of AODV (RFC3561) loop freedom: all variants"
  options [timeout = 45000]
  directories
    "variants/a_norreqid"
    "variants/b_fwdrreps"
    "variants/c_gtobcast"
    "variants/d_fwdrreqs"
    "variants/e_all_abcd"
  theories
    All
  document_files
    "root.bib"
    "root.tex"

(* Separate single-variant sesssions removed for build performance. 
   See rev 4fd7ada36eb9 to recover if necessary. *)