Chiron Analysis Tool Performance Study

• Study description
• A paper about the study
• Input files used for the study
• Data Tables
  • Original Dispatcher
    • Detailed table: [txt]   [html]
    • Totals: [txt]   [html]
  • Decomposed Dispatcher
    • Detailed table: [txt]   [html]
    • Totals: [txt]   [html]
• Tool comparison graphs by property
  • Original Dispatcher
    • ps: 0   1   2   3   4   5   6   7   8   9
    • gif: 0   1   2   3   4   5   6   7   8   9
  • Decomposed Dispatcher
    • ps: 0   1   2   3   4   5   6   7   8   9
    • gif: 0   1   2   3   4   5   6   7   8   9
  • Original and Decomposed Dispatcher together
    • ps: 0   1   2   3   4   5   6   7   8   9
    • gif: 0   1   2   3   4   5   6   7   8   9
  • SPIN only
    • ps: 0   1   2   3   4   5   6   7   8   9
    • gif: 0   1   2   3   4   5   6   7   8   9
  • SMV only
    • ps: 0   1   2   3   4   5   6   7   8   9
    • gif: 0   1   2   3   4   5   6   7   8   9
  • INCA only
    • ps: 0   1   2   3   4   5   6   7   8   9
    • gif: 0   1   2   3   4   5   6   7   8   9
  • FLAVERS only
    • ps: 1   2   3   4   5   6   7   8   9
    • gif: 1   2   3   4   5   6   7   8   9
• Property comparison graphs by tool
  • Original Dispatcher
    • Native SPIN [gif] or [ps]
    • INCA-SPIN [gif] or [ps]
    • INCA-SMV [gif] or [ps]
    • INCA [gif] or [ps]
    • FLAVERS [gif] or [ps]
  • Decomposed Dispatcher
    • Native SPIN [gif] or [ps]
    • INCA-SPIN [gif] or [ps]
    • INCA-SMV [gif] or [ps]
    • INCA [gif] or [ps]
    • FLAVERS [gif] or [ps]

Back to Chiron User Interface