STATOR:Establishing code-base

From STATOR
Revision as of 16:54, 25 July 2014 by Marek Trtik (talk | contribs)
Jump to navigation Jump to search

Here we list pros and cons of all our approaches towards establishing STATOR's code-base. All pros/cons are listed in the order from the most important to the least one. We further assign for all listed pros/cons a global "importance level", which is a number in [1,...,10].

Preferences to main implementation language

Java

  • pros
    • a
  • cons
    • a

F#

  • pros
    • a
  • cons
    • a

OCaml

  • pros
    • a
  • cons
    • a


C++

  • pros
    • a
  • cons
    • a

Java

  • pros
    • a
  • cons
    • a

pros of CPAchecker

cons of CPAchecker

pros of Stanse

cons of Stanse

pros of PAGAI

cons of PAGAI

pros of FramaC

cons of FramaC

pros of Predator

cons of Predator

Retrieved from ‘http://stator.imag.fr/w/index.php?title=STATOR:Establishing_code-base&oldid=177’