LARA

Secondary objectives include:

  • increasing the coherence, visibility, and competitiveness of automated reasoning research;
  • assessing the potential for industry standards that certify the added value of computer systems developed using automated reasoning technology.